Details

Time bar (total: 9.8s)

sample133.0ms

Algorithm
intervals
Results
68.0ms79×body1280valid
31.0ms54×body640valid
5.0ms24×body320valid
4.0ms85×body80valid
3.0ms92×body80nan
2.0ms14×body160valid

simplify3.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044
154
done54

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.3b

localize8.0ms

Local error

Found 1 expressions with local error:

4.1b
(log (+ 1.0 x))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
log-prod *-un-lft-identity
add-sqr-sqrt pow1 log-div add-exp-log add-cube-cbrt
flip3-+ add-cbrt-cube rem-log-exp log-pow flip-+ distribute-lft-out add-log-exp
Counts
1 → 15
Calls
1 calls:
9.0ms
(log (+ 1.0 x))

series108.0ms

Counts
1 → 3
Calls
1 calls:
108.0ms
(log (+ 1.0 x))

simplify1.1s

Counts
18 → 18
Iterations

Useful iterations: done (1.1s)

IterNodesCost
058178
1123171
2369151
31256151
done5001146

prune98.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 2 expressions with local error:

0.0b
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
0.0b
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))

rewrite198.0ms

Algorithm
rewrite-expression-head
Rules
80×times-frac
70×add-sqr-sqrt
68×associate-*r*
56×unpow-prod-down
36×*-un-lft-identity add-cube-cbrt
25×add-exp-log
24×unpow2 sqr-pow
17×unswap-sqr
10×prod-exp
div-exp
add-cbrt-cube
pow-to-exp pow-exp add-log-exp
pow1
associate-*l* associate-*r/
diff-log frac-sub cbrt-unprod
cbrt-undiv sum-log sub-neg flip3-+ flip3-- pow-prod-down associate--l+ *-commutative flip-+ div-inv flip--
Counts
2 → 126
Calls
2 calls:
71.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
113.0ms
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))

series199.0ms

Counts
2 → 6
Calls
2 calls:
108.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
90.0ms
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))

simplify3.2s

Counts
132 → 132
Iterations

Useful iterations: done (3.1s)

IterNodesCost
02681979
17611743
236691459
done50011455

prune674.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

regimes174.0ms

Accuracy

98% (0.4b remaining)

Error of 0.6b against oracle of 0.1b and baseline of 22.3b

bsearch1.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01726
12126
done2126

end0.0ms

sample3.9s

Algorithm
intervals
Results
2.1s2205×body1280valid
839.0ms1685×body640valid
235.0ms807×body320valid
143.0ms2913×body80valid
97.0ms2698×body80nan
50.0ms390×body160valid