Details

Time bar (total: 35.0s)

sample58.0ms

Algorithm
intervals
Results
18.0ms333×body80valid

simplify5.9s

Counts
1 → 1
Iterations
IterNodes
done5000
274892
264724
254538
244371
234185
224017
213831
203664
193478
183310
173124
162935
152735
142563
132357
121964
111245
10808
9546
8311
7187
6124
587
470
355
239
120
09

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize23.0ms

Local error

Found 2 expressions with local error:

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

rewrite199.0ms

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

series114.0ms

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

simplify6.3s

Counts
75 → 75
Iterations
IterNodes
done5000
34728
2940
1306
0123

prune727.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize21.0ms

Local error

Found 2 expressions with local error:

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

rewrite199.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
19×distribute-lft-out
12×add-log-exp
7×times-frac add-cbrt-cube add-exp-log associate-/l*
6×sum-log distribute-rgt-neg-in
5×add-sqr-sqrt add-cube-cbrt
4×fma-def
3×div-sub
2×neg-sub0 expm1-log1p-u pow1 cbrt-undiv associate-+r- flip3-+ div-exp unsub-neg neg-log flip-+ insert-posit16 log1p-expm1-u associate-/l/
1×+-commutative associate-+l+ clear-num associate-/r* frac-2neg prod-exp cbrt-unprod div-inv
Counts
2 → 66
Calls
2 calls:
53.0ms
(+ (+ x y) (- z))
142.0ms
(/ (+ (+ x y) (- z)) (* t 2.0))

series89.0ms

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

simplify7.2s

Counts
72 → 72
Iterations
IterNodes
done5000
34884
21045
1265
099

prune855.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize45.0ms

Local error

Found 2 expressions with local error:

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

rewrite288.0ms

Algorithm
rewrite-expression-head
Rules
57×*-un-lft-identity
52×add-sqr-sqrt
34×times-frac
27×add-cube-cbrt
24×add-exp-log
22×associate-*r*
14×add-cbrt-cube
13×associate-*l*
12×prod-diff
8×div-exp prod-exp distribute-lft-out distribute-lft-out--
7×add-log-exp
6×unswap-sqr
4×pow1 cbrt-undiv fma-neg cbrt-unprod difference-of-squares
2×expm1-log1p-u rec-exp diff-log 1-exp insert-posit16 log1p-expm1-u div-inv
1×frac-times sum-log sub-neg flip3-- pow-prod-down associate-*l/ associate--l+ associate-*r/ *-commutative flip--
Counts
2 → 104
Calls
2 calls:
79.0ms
(- (+ x y) z)
199.0ms
(* (/ 1 t) (/ (- (+ x y) z) 2.0))

series128.0ms

Counts
2 → 6
Calls
2 calls:
30.0ms
(- (+ x y) z)
98.0ms
(* (/ 1 t) (/ (- (+ x y) z) 2.0))

simplify3.3s

Counts
110 → 110
Iterations
IterNodes
done5001
21653
1516
0189

prune1.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize57.0ms

Local error

Found 3 expressions with local error:

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

rewrite330.0ms

Algorithm
rewrite-expression-head
Rules
77×*-un-lft-identity
66×times-frac
48×add-sqr-sqrt
34×add-cube-cbrt
29×add-exp-log
18×associate-/r*
17×add-cbrt-cube
14×div-exp distribute-lft-out--
12×prod-diff
11×associate-/r/ distribute-lft-out
8×add-log-exp
7×cbrt-undiv difference-of-squares
6×flip3-- div-inv flip--
4×pow1 fma-neg prod-exp associate-/l*
3×expm1-log1p-u rec-exp 1-exp insert-posit16 log1p-expm1-u
2×clear-num frac-2neg diff-log cbrt-unprod
1×sum-log sub-neg associate--l+ pow-flip inv-pow
Counts
3 → 147
Calls
3 calls:
91.0ms
(- (+ x y) z)
105.0ms
(/ (* t 2.0) (- (+ x y) z))
111.0ms
(/ 1 (/ (* t 2.0) (- (+ x y) z)))

series262.0ms

Counts
3 → 9
Calls
3 calls:
36.0ms
(- (+ x y) z)
107.0ms
(/ (* t 2.0) (- (+ x y) z))
119.0ms
(/ 1 (/ (* t 2.0) (- (+ x y) z)))

simplify3.0s

Counts
156 → 156
Iterations
IterNodes
done5003
21619
1525
0213

prune1.5s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes1.8s

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done13
113
010

end0.0ms

sample1.3s

Algorithm
intervals
Results
601.0ms10859×body80valid