Details

Time bar (total: 15.2s)

sample44.0ms

Algorithm
intervals
Results
13.0ms283×body80valid

simplify72.0ms

Counts
1 → 1
Iterations
IterNodes
done25
525
424
322
219
114
09

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (/ (* x y) 2.0) (/ z 8.0))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
3×*-un-lft-identity add-log-exp
2×difference-of-squares
1×pow1 sub-neg times-frac flip3-- add-cbrt-cube diff-log add-exp-log frac-sub add-cube-cbrt insert-posit16 flip-- distribute-lft-out--
Counts
1 → 17
Calls
1 calls:
36.0ms
(- (/ (* x y) 2.0) (/ z 8.0))

series82.0ms

Counts
1 → 3
Calls
1 calls:
82.0ms
(- (/ (* x y) 2.0) (/ z 8.0))

simplify4.6s

Counts
20 → 20
Iterations
IterNodes
done5001
42723
3798
2303
1117
050

prune201.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize141.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ x (/ 2.0 y))
0.8b
(+ (* (/ x (/ 2.0 y)) (/ x (/ 2.0 y))) (* (/ z 8.0) (+ (/ z 8.0) (/ x (/ 2.0 y)))))
2.7b
(- (* (* (/ x (/ 2.0 y)) (/ x (/ 2.0 y))) (/ x (/ 2.0 y))) (* (/ z 8.0) (* (/ z 8.0) (/ z 8.0))))
40.2b
(/ (- (* (* (/ x (/ 2.0 y)) (/ x (/ 2.0 y))) (/ x (/ 2.0 y))) (* (/ z 8.0) (* (/ z 8.0) (/ z 8.0)))) (+ (* (/ x (/ 2.0 y)) (/ x (/ 2.0 y))) (* (/ z 8.0) (+ (/ z 8.0) (/ x (/ 2.0 y))))))

rewrite955.0ms

Algorithm
rewrite-expression-head
Rules
172×frac-times
144×associate-*r/
132×associate-*l/
98×frac-sub
87×times-frac
55×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
54×frac-add
51×associate-/l/
24×associate-/r/
16×associate-/r*
14×flip3-+ flip-+
11×add-cbrt-cube add-exp-log
8×add-log-exp
7×associate-/l*
6×div-inv
5×difference-cubes cube-unmult pow3
4×pow1 cbrt-undiv div-exp insert-posit16
2×associate-+r+ clear-num frac-2neg flip3-- flip--
1×distribute-rgt-in +-commutative sum-log sub-neg distribute-lft-in diff-log div-sub
Counts
4 → 276
Calls
4 calls:
12.0ms
(/ x (/ 2.0 y))
53.0ms
(+ (* (/ x (/ 2.0 y)) (/ x (/ 2.0 y))) (* (/ z 8.0) (+ (/ z 8.0) (/ x (/ 2.0 y)))))
182.0ms
(- (* (* (/ x (/ 2.0 y)) (/ x (/ 2.0 y))) (/ x (/ 2.0 y))) (* (/ z 8.0) (* (/ z 8.0) (/ z 8.0))))
669.0ms
(/ (- (* (* (/ x (/ 2.0 y)) (/ x (/ 2.0 y))) (/ x (/ 2.0 y))) (* (/ z 8.0) (* (/ z 8.0) (/ z 8.0)))) (+ (* (/ x (/ 2.0 y)) (/ x (/ 2.0 y))) (* (/ z 8.0) (+ (/ z 8.0) (/ x (/ 2.0 y))))))

series887.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(/ x (/ 2.0 y))
160.0ms
(+ (* (/ x (/ 2.0 y)) (/ x (/ 2.0 y))) (* (/ z 8.0) (+ (/ z 8.0) (/ x (/ 2.0 y)))))
315.0ms
(- (* (* (/ x (/ 2.0 y)) (/ x (/ 2.0 y))) (/ x (/ 2.0 y))) (* (/ z 8.0) (* (/ z 8.0) (/ z 8.0))))
386.0ms
(/ (- (* (* (/ x (/ 2.0 y)) (/ x (/ 2.0 y))) (/ x (/ 2.0 y))) (* (/ z 8.0) (* (/ z 8.0) (/ z 8.0)))) (+ (* (/ x (/ 2.0 y)) (/ x (/ 2.0 y))) (* (/ z 8.0) (+ (/ z 8.0) (/ x (/ 2.0 y))))))

simplify2.8s

Counts
288 → 288
Iterations
IterNodes
done5000
11622
0524

prune3.3s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes839.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done10
110
09

end0.0ms

sample1.1s

Algorithm
intervals
Results
397.0ms9195×body80valid