Details

Time bar (total: 13.0s)

sample37.0ms

Algorithm
intervals
Results
18.0ms333×body80valid

simplify2.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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize288.0ms

Local error

Found 2 expressions with local error:

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

rewrite191.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:
63.0ms
(- (+ x y) z)
126.0ms
(/ (- (+ x y) z) (* t 2.0))

series68.0ms

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

simplify2.2s

Counts
75 → 75
Iterations
IterNodes
done5000
34840
2957
1307
0123

prune238.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite152.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:
34.0ms
(+ (+ x y) (- z))
116.0ms
(/ (+ (+ x y) (- z)) (* t 2.0))

series64.0ms

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

simplify1.2s

Counts
72 → 72
Iterations
IterNodes
done5000
21043
1265
099

prune174.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite191.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:
54.0ms
(- (+ x y) z)
132.0ms
(* (/ 1 t) (/ (- (+ x y) z) 2.0))

series66.0ms

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

simplify1.4s

Counts
110 → 110
Iterations
IterNodes
done5000
21709
1516
0189

prune372.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize22.0ms

Local error

Found 2 expressions with local error:

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

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
58×times-frac
54×*-un-lft-identity
28×add-exp-log
24×add-sqr-sqrt add-cube-cbrt
16×associate-/r* add-cbrt-cube
14×div-exp
12×distribute-lft-out
11×associate-/r/
7×cbrt-undiv
6×div-inv distribute-lft-out--
5×flip3-+ flip-+
4×prod-exp associate-/l*
3×pow1 rec-exp 1-exp
2×expm1-log1p-u clear-num frac-2neg cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
1×pow-flip inv-pow
Counts
2 → 105
Calls
2 calls:
48.0ms
(/ (* 2.0 t) (+ x (- y z)))
51.0ms
(/ 1 (/ (* 2.0 t) (+ x (- y z))))

series126.0ms

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

simplify1.5s

Counts
111 → 111
Iterations
IterNodes
done5000
21453
1439
0163

prune323.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes339.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
010

end0.0ms

sample945.0ms

Algorithm
intervals
Results
610.0ms10859×body80valid