Details

Time bar (total: 18.4s)

sample95.0ms

Algorithm
intervals
Results
42.0ms371×body80valid

simplify2.3s

Counts
1 → 1
Iterations
IterNodes
done5000
51378
4405
3147
273
133
017

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
0.0b
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
0.0b
(+ (* x y) (/ (* z t) 16.0))

rewrite372.0ms

Algorithm
rewrite-expression-head
Rules
42×prod-diff
40×*-un-lft-identity
35×add-sqr-sqrt
31×add-cube-cbrt
24×associate-+l+
19×add-log-exp
18×times-frac
6×sum-log fma-def div-inv
4×diff-log
3×expm1-log1p-u pow1 flip3-+ add-cbrt-cube fma-neg add-exp-log flip-+ log1p-expm1-u distribute-lft-out--
2×+-commutative sub-neg associate--l+ frac-sub distribute-lft-out difference-of-squares
1×flip3-- associate-+l- flip--
Counts
3 → 105
Calls
3 calls:
260.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
99.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
9.0ms
(+ (* x y) (/ (* z t) 16.0))

series350.0ms

Counts
3 → 9
Calls
3 calls:
203.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
98.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
49.0ms
(+ (* x y) (/ (* z t) 16.0))

simplify1.7s

Counts
114 → 114
Iterations
IterNodes
done5001
21957
1473
0175

prune935.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize34.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma y x (fma (/ z 16.0) t (- c (* b (/ a 4.0)))))
0.0b
(- c (* b (/ a 4.0)))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
3×fma-neg prod-diff
2×expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u
1×sub-neg flip3-- diff-log fma-udef flip--
Counts
2 → 30
Calls
2 calls:
0.0ms
(fma y x (fma (/ z 16.0) t (- c (* b (/ a 4.0)))))
7.0ms
(- c (* b (/ a 4.0)))

series299.0ms

Counts
2 → 6
Calls
2 calls:
233.0ms
(fma y x (fma (/ z 16.0) t (- c (* b (/ a 4.0)))))
66.0ms
(- c (* b (/ a 4.0)))

simplify1.7s

Counts
36 → 36
Iterations
IterNodes
done5002
32541
2518
1151
071

prune314.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ b 4.0) (/ a 1))
0.0b
(fma 1 (+ (* x y) (/ (* z t) 16.0)) (- (* (/ b 4.0) (/ a 1))))
0.0b
(+ (* x y) (/ (* z t) 16.0))
54.7b
(fma (- (/ b 4.0)) (/ a 1) (* (/ b 4.0) (/ a 1)))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
25×times-frac
21×add-exp-log
20×*-un-lft-identity
18×add-cube-cbrt
16×add-cbrt-cube
13×associate-*r* associate-*l*
7×div-exp
6×pow1 prod-exp add-log-exp unswap-sqr
4×expm1-log1p-u cbrt-undiv cbrt-unprod log1p-expm1-u
2×1-exp fma-udef div-inv
1×frac-times +-commutative sum-log fma-def flip3-+ pow-prod-down associate-*l/ associate-*r/ *-commutative flip-+
Counts
4 → 90
Calls
4 calls:
30.0ms
(* (/ b 4.0) (/ a 1))
0.0ms
(fma 1 (+ (* x y) (/ (* z t) 16.0)) (- (* (/ b 4.0) (/ a 1))))
18.0ms
(+ (* x y) (/ (* z t) 16.0))
0.0ms
(fma (- (/ b 4.0)) (/ a 1) (* (/ b 4.0) (/ a 1)))

series266.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(* (/ b 4.0) (/ a 1))
128.0ms
(fma 1 (+ (* x y) (/ (* z t) 16.0)) (- (* (/ b 4.0) (/ a 1))))
71.0ms
(+ (* x y) (/ (* z t) 16.0))
46.0ms
(fma (- (/ b 4.0)) (/ a 1) (* (/ b 4.0) (/ a 1)))

simplify1.4s

Counts
102 → 102
Iterations
IterNodes
done5000
22623
1526
0180

prune964.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma t (/ z 16.0) (fma x y (- c (/ a (/ 4.0 b)))))
0.0b
(fma x y (- c (/ a (/ 4.0 b))))
0.0b
(- c (/ a (/ 4.0 b)))
0.2b
(/ a (/ 4.0 b))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
276×times-frac
205×add-sqr-sqrt
198×*-un-lft-identity
196×add-cube-cbrt
132×prod-diff
17×div-inv
13×associate-/r*
9×add-cbrt-cube add-exp-log
6×add-log-exp
4×expm1-log1p-u pow1 associate-/r/ log1p-expm1-u
3×cbrt-undiv fma-neg div-exp associate-/l* difference-of-squares
2×fma-udef
1×clear-num sub-neg frac-2neg flip3-- diff-log flip-- distribute-lft-out--
Counts
4 → 245
Calls
4 calls:
0.0ms
(fma t (/ z 16.0) (fma x y (- c (/ a (/ 4.0 b)))))
0.0ms
(fma x y (- c (/ a (/ 4.0 b))))
36.0ms
(- c (/ a (/ 4.0 b)))
8.0ms
(/ a (/ 4.0 b))

series714.0ms

Counts
4 → 12
Calls
4 calls:
215.0ms
(fma t (/ z 16.0) (fma x y (- c (/ a (/ 4.0 b)))))
112.0ms
(fma x y (- c (/ a (/ 4.0 b))))
69.0ms
(- c (/ a (/ 4.0 b)))
317.0ms
(/ a (/ 4.0 b))

simplify957.0ms

Counts
257 → 257
Iterations
IterNodes
done5001
11399
0526

prune2.5s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes1.0s

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done22
222
121
017

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.1s11917×body80valid