Details

Time bar (total: 34.8s)

sample36.0ms

Algorithm
intervals
Results
22.0ms298×body80valid

simplify4.0s

Counts
1 → 1
Iterations
IterNodes
done5000
364868
354711
344563
334402
324238
314081
303929
293759
283611
273450
263289
253132
242980
232810
222662
212501
202348
192191
182039
171869
161721
151557
141404
131231
121066
11861
10610
9405
8269
7211
6179
5147
4113
374
248
125
013

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 3 expressions with local error:

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

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt *-un-lft-identity prod-diff
19×add-cube-cbrt
12×times-frac
8×add-cbrt-cube add-exp-log
5×add-log-exp
4×div-inv
3×expm1-log1p-u pow1 associate-/r* fma-neg insert-posit16 log1p-expm1-u
2×cbrt-undiv div-exp
1×clear-num sub-neg frac-2neg flip3-- diff-log prod-exp cbrt-unprod fma-udef flip-- associate-/l* distribute-lft-out-- difference-of-squares
Counts
3 → 76
Calls
3 calls:
0.0ms
(fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))
14.0ms
(- t (/ (* z y) 2.0))
22.0ms
(/ (* z y) 2.0)

series200.0ms

Counts
3 → 9
Calls
3 calls:
77.0ms
(fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))
86.0ms
(- t (/ (* z y) 2.0))
37.0ms
(/ (* z y) 2.0)

simplify2.8s

Counts
85 → 85
Iterations
IterNodes
done5000
34401
21067
1364
0152

prune356.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize31.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma (/ x 8.0) 1.0 (- t (/ z (/ 2.0 y))))
0.0b
(- t (/ z (/ 2.0 y)))
0.2b
(/ z (/ 2.0 y))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
276×times-frac
204×add-sqr-sqrt
197×*-un-lft-identity
195×add-cube-cbrt
132×prod-diff
17×div-inv
13×associate-/r*
8×add-cbrt-cube add-exp-log
5×add-log-exp
4×associate-/r/
3×expm1-log1p-u pow1 cbrt-undiv fma-neg div-exp insert-posit16 log1p-expm1-u associate-/l* difference-of-squares
1×clear-num sub-neg frac-2neg flip3-- diff-log fma-udef flip-- distribute-lft-out--
Counts
3 → 238
Calls
3 calls:
0.0ms
(fma (/ x 8.0) 1.0 (- t (/ z (/ 2.0 y))))
11.0ms
(- t (/ z (/ 2.0 y)))
6.0ms
(/ z (/ 2.0 y))

series204.0ms

Counts
3 → 9
Calls
3 calls:
89.0ms
(fma (/ x 8.0) 1.0 (- t (/ z (/ 2.0 y))))
73.0ms
(- t (/ z (/ 2.0 y)))
43.0ms
(/ z (/ 2.0 y))

simplify1.2s

Counts
247 → 247
Iterations
IterNodes
done5000
11369
0512

prune1.8s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b
(- t (/ (/ z (sqrt 2.0)) (/ (sqrt 2.0) y)))
0.3b
(/ (/ z (sqrt 2.0)) (/ (sqrt 2.0) y))
0.4b
(/ (sqrt 2.0) y)
0.4b
(/ z (sqrt 2.0))

rewrite217.0ms

Algorithm
rewrite-expression-head
Rules
5197×times-frac
2882×add-sqr-sqrt
2843×*-un-lft-identity
2841×add-cube-cbrt
1632×sqrt-prod
1467×prod-diff
184×div-inv
31×associate-/r* associate-/l*
20×add-cbrt-cube add-exp-log
10×cbrt-undiv div-exp difference-of-squares
6×add-log-exp
4×expm1-log1p-u pow1 associate-/r/ insert-posit16 log1p-expm1-u
3×clear-num frac-2neg fma-neg
1×sub-neg flip3-- diff-log flip-- distribute-lft-out-- associate-/l/
Counts
4 → 2131
Calls
4 calls:
36.0ms
(- t (/ (/ z (sqrt 2.0)) (/ (sqrt 2.0) y)))
12.0ms
(/ (/ z (sqrt 2.0)) (/ (sqrt 2.0) y))
5.0ms
(/ (sqrt 2.0) y)
5.0ms
(/ z (sqrt 2.0))

series583.0ms

Counts
4 → 12
Calls
4 calls:
263.0ms
(- t (/ (/ z (sqrt 2.0)) (/ (sqrt 2.0) y)))
168.0ms
(/ (/ z (sqrt 2.0)) (/ (sqrt 2.0) y))
64.0ms
(/ (sqrt 2.0) y)
87.0ms
(/ z (sqrt 2.0))

simplify3.8s

Counts
2143 → 2143
Iterations
IterNodes
done5000
03219

prune17.6s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes226.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done13
113
012

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.1s9084×body80valid