Details

Time bar (total: 9.8s)

sample34.0ms

Algorithm
intervals
Results
14.0ms256×body80valid
4.0ms92×body80nan

simplify1.9s

Counts
1 → 1
Iterations

Useful iterations: 2 (6.0ms)

IterNodesCost
0712
11112
21510
32110
42910
56310
614010
732810
892410
done500110

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.0b

localize14.0ms

Local error

Found 3 expressions with local error:

0.1b
(* (* x x) x)
6.8b
(sqrt (+ (* (* x x) x) 1.0))
11.1b
(/ (* x x) (sqrt (+ (* (* x x) x) 1.0)))

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1
13×add-cbrt-cube add-exp-log
11×add-sqr-sqrt
*-un-lft-identity add-cube-cbrt sqrt-prod
associate-/r* times-frac pow-plus pow-prod-up
sqrt-div prod-exp cbrt-unprod
associate-*r* pow-prod-down add-log-exp
pow2 cbrt-undiv flip3-+ div-exp associate-/r/ pow-sqr flip-+
rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 associate-*l* pow3 *-commutative div-inv associate-/l* unswap-sqr
Counts
3 → 72
Calls
3 calls:
33.0ms
(* (* x x) x)
58.0ms
(sqrt (+ (* (* x x) x) 1.0))
71.0ms
(/ (* x x) (sqrt (+ (* (* x x) x) 1.0)))

series388.0ms

Counts
3 → 9
Calls
3 calls:
72.0ms
(* (* x x) x)
86.0ms
(sqrt (+ (* (* x x) x) 1.0))
229.0ms
(/ (* x x) (sqrt (+ (* (* x x) x) 1.0)))

simplify2.9s

Counts
81 → 81
Iterations

Useful iterations: 2 (745.0ms)

IterNodesCost
01391056
1378780
22532681
done5001681

prune343.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 14.7b

localize16.0ms

Local error

Found 3 expressions with local error:

0.1b
(* x (/ x (sqrt (+ 1.0 (pow x 3)))))
6.8b
(sqrt (+ 1.0 (pow x 3)))
7.5b
(/ x (sqrt (+ 1.0 (pow x 3))))

rewrite171.0ms

Algorithm
rewrite-expression-head
Rules
51×*-un-lft-identity
44×add-sqr-sqrt times-frac
35×add-cube-cbrt
33×sqrt-prod
27×associate-*r*
10×add-cbrt-cube add-exp-log
distribute-lft-out
associate-/r*
pow1 sqrt-div
associate-/r/
flip3-+ associate-*l* flip-+ associate-/l* add-log-exp unswap-sqr
cbrt-undiv div-exp prod-exp cbrt-unprod div-inv
rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 pow-prod-down associate-*r/ *-commutative
Counts
3 → 108
Calls
3 calls:
97.0ms
(* x (/ x (sqrt (+ 1.0 (pow x 3)))))
28.0ms
(sqrt (+ 1.0 (pow x 3)))
38.0ms
(/ x (sqrt (+ 1.0 (pow x 3))))

series580.0ms

Counts
3 → 9
Calls
3 calls:
236.0ms
(* x (/ x (sqrt (+ 1.0 (pow x 3)))))
90.0ms
(sqrt (+ 1.0 (pow x 3)))
253.0ms
(/ x (sqrt (+ 1.0 (pow x 3))))

simplify1.7s

Counts
117 → 117
Iterations

Useful iterations: 2 (592.0ms)

IterNodesCost
01891703
14701509
220691399
done50001399

prune526.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 14.7b

regimes29.0ms

Accuracy

0% (0.0b remaining)

Error of 14.2b against oracle of 14.2b and baseline of 14.2b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11010
done1010

end0.0ms

sample1.1s

Algorithm
intervals
Results
636.0ms8000×body80valid
136.0ms2698×body80nan