Details

Time bar (total: 58.7s)

sample75.0ms

Algorithm
intervals
Results
40.0ms341×body80valid

simplify4.7s

Counts
1 → 1
Iterations
IterNodes
done5000
254837
244661
234469
224293
214101
203925
193733
183557
173365
163189
152997
142778
132541
122055
111277
10830
9564
8312
7187
6124
587
470
355
239
120
09

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (+ x y) z)
0.0b
(/ (- (+ x y) z) (* t 2.0))

rewrite287.0ms

Algorithm
rewrite-expression-head
Rules
35×*-un-lft-identity
18×add-sqr-sqrt
12×add-cube-cbrt prod-diff
7×add-exp-log add-cbrt-cube distribute-lft-out add-log-exp
6×times-frac associate-/l* distribute-lft-out--
4×fma-neg
3×difference-of-squares
2×pow1 cbrt-undiv expm1-log1p-u flip3-- diff-log div-exp flip-- log1p-expm1-u associate-/l/
1×sub-neg frac-2neg div-sub prod-exp associate--l+ clear-num associate-/r* sum-log cbrt-unprod div-inv
Counts
2 → 67
Calls
2 calls:
85.0ms
(- (+ x y) z)
195.0ms
(/ (- (+ x y) z) (* t 2.0))

series124.0ms

Counts
2 → 6
Calls
2 calls:
36.0ms
(- (+ x y) z)
87.0ms
(/ (- (+ x y) z) (* t 2.0))

simplify4.9s

Counts
73 → 73
Iterations
IterNodes
done5000
34496
2947
1304
0121

prune458.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize37.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ x t) (/ z t))
0.0b
(+ (/ y t) (- (/ x t) (/ z t)))

rewrite341.0ms

Algorithm
rewrite-expression-head
Rules
505×times-frac
407×*-un-lft-identity
397×add-sqr-sqrt
385×add-cube-cbrt
338×prod-diff
171×associate-+r+
56×div-inv
13×fma-def fma-neg
9×add-log-exp
8×distribute-lft-out--
5×distribute-lft-out
4×frac-add difference-of-squares
2×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log sum-log frac-sub add-cbrt-cube flip-- log1p-expm1-u sub-div
1×+-commutative associate-+r- distribute-rgt-out-- flip3-+ flip-+
Counts
2 → 415
Calls
2 calls:
74.0ms
(- (/ x t) (/ z t))
191.0ms
(+ (/ y t) (- (/ x t) (/ z t)))

series99.0ms

Counts
2 → 6
Calls
2 calls:
43.0ms
(- (/ x t) (/ z t))
56.0ms
(+ (/ y t) (- (/ x t) (/ z t)))

simplify5.1s

Counts
421 → 421
Iterations
IterNodes
done5003
22674
11175
0526

prune7.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize31.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (- y z))
0.0b
(/ (+ x (- y z)) (* t 2.0))

rewrite250.0ms

Algorithm
rewrite-expression-head
Rules
26×*-un-lft-identity
11×add-sqr-sqrt add-cube-cbrt associate-+r+
9×prod-diff
7×add-exp-log add-cbrt-cube add-log-exp
6×distribute-lft-out
5×times-frac associate-/l*
3×fma-def distribute-lft-out--
2×pow1 cbrt-undiv expm1-log1p-u associate-+r- flip3-+ div-exp sum-log flip-+ log1p-expm1-u associate-/l/
1×+-commutative sub-neg frac-2neg diff-log div-sub prod-exp clear-num associate-/r* cbrt-unprod div-inv
Counts
2 → 61
Calls
2 calls:
40.0ms
(+ x (- y z))
193.0ms
(/ (+ x (- y z)) (* t 2.0))

series131.0ms

Counts
2 → 6
Calls
2 calls:
36.0ms
(+ x (- y z))
90.0ms
(/ (+ x (- y z)) (* t 2.0))

simplify9.3s

Counts
67 → 67
Iterations
IterNodes
done5002
33999
2890
1295
0120

prune1.0s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize41.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ y t) (/ z t))
0.0b
(+ (/ x t) (- (/ y t) (/ z t)))

rewrite358.0ms

Algorithm
rewrite-expression-head
Rules
505×times-frac
407×*-un-lft-identity
397×add-sqr-sqrt
385×add-cube-cbrt
338×prod-diff
171×associate-+r+
56×div-inv
13×fma-def fma-neg
9×add-log-exp
8×distribute-lft-out--
5×distribute-lft-out
4×frac-add difference-of-squares
2×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log sum-log frac-sub add-cbrt-cube flip-- log1p-expm1-u sub-div
1×+-commutative associate-+r- distribute-rgt-out-- flip3-+ flip-+
Counts
2 → 415
Calls
2 calls:
72.0ms
(- (/ y t) (/ z t))
213.0ms
(+ (/ x t) (- (/ y t) (/ z t)))

series98.0ms

Counts
2 → 6
Calls
2 calls:
42.0ms
(- (/ y t) (/ z t))
56.0ms
(+ (/ x t) (- (/ y t) (/ z t)))

simplify10.9s

Counts
421 → 421
Iterations
IterNodes
done5003
22674
11175
0526

prune7.4s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes1.4s

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify9.0ms

Iterations
IterNodes
done13
113
011

end7.0ms

sample4.5s

Algorithm
intervals
Results
2.7s10954×body80valid