Details

Time bar (total: 7.7s)

sample32.0ms

Algorithm
intervals
Results
14.0ms397×body80valid

simplify35.0ms

Counts
1 → 1
Iterations
IterNodes
done70
570
469
357
232
114
08

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (* x x) (* (* y 4.0) z))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×add-sqr-sqrt pow1 sub-neg *-un-lft-identity flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt flip--
Counts
1 → 12
Calls
1 calls:
13.0ms
(- (* x x) (* (* y 4.0) z))

series69.0ms

Counts
1 → 3
Calls
1 calls:
69.0ms
(- (* x x) (* (* y 4.0) z))

simplify2.2s

Counts
15 → 15
Iterations
IterNodes
done5002
33759
2519
1111
035

prune73.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* y z) (* z 4.0))
1.1b
(- (pow x 4) (* (* (* y z) (* z 4.0)) (* y 4.0)))
3.7b
(* (* (* y z) (* z 4.0)) (* y 4.0))
29.2b
(/ (- (pow x 4) (* (* (* y z) (* z 4.0)) (* y 4.0))) (+ (* x x) (* (* y z) 4.0)))

rewrite224.0ms

Algorithm
rewrite-expression-head
Rules
59×add-cbrt-cube add-exp-log
57×pow1
39×pow-prod-down prod-exp cbrt-unprod
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
6×add-log-exp
3×associate-/r* associate-/l*
2×flip3-- associate-*r* associate-*l* associate-/r/ *-commutative flip-- associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-+ diff-log div-sub div-exp flip-+ div-inv
Counts
4 → 106
Calls
4 calls:
21.0ms
(* (* y z) (* z 4.0))
15.0ms
(- (pow x 4) (* (* (* y z) (* z 4.0)) (* y 4.0)))
138.0ms
(* (* (* y z) (* z 4.0)) (* y 4.0))
47.0ms
(/ (- (pow x 4) (* (* (* y z) (* z 4.0)) (* y 4.0))) (+ (* x x) (* (* y z) 4.0)))

series401.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* (* y z) (* z 4.0))
134.0ms
(- (pow x 4) (* (* (* y z) (* z 4.0)) (* y 4.0)))
58.0ms
(* (* (* y z) (* z 4.0)) (* y 4.0))
163.0ms
(/ (- (pow x 4) (* (* (* y z) (* z 4.0)) (* y 4.0))) (+ (* x x) (* (* y z) 4.0)))

simplify2.3s

Counts
118 → 118
Iterations
IterNodes
done5000
23658
1539
0175

prune649.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes327.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done10
110
08

end0.0ms

sample1.3s

Algorithm
intervals
Results
723.0ms12314×body80valid