Details

Time bar (total: 18.4s)

sample45.0ms

Algorithm
intervals
Results
21.0ms366×body80valid

simplify6.6s

Counts
1 → 1
Iterations
IterNodes
done5001
112921
101184
9536
8314
7199
6167
5132
4100
361
233
115
08

prune30.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
36×*-un-lft-identity prod-diff
34×add-cube-cbrt
22×distribute-rgt-in associate-+l+ distribute-lft-in
13×associate-*l*
10×times-frac
7×add-cbrt-cube add-exp-log
5×associate-*r*
4×pow1 sub-neg add-log-exp
2×expm1-log1p-u frac-times flip3-- prod-exp associate-*r/ cbrt-unprod log1p-expm1-u flip-- unswap-sqr
1×cbrt-undiv +-commutative sum-log fma-def flip3-+ div-exp pow-prod-down associate-*l/ *-commutative flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 98
Calls
2 calls:
19.0ms
(+ (* (/ x y) (- z t)) t)
25.0ms
(* (/ x y) (- z t))

series140.0ms

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

simplify1.4s

Counts
104 → 104
Iterations
IterNodes
done5001
21599
1497
0180

prune500.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
229×times-frac
163×*-un-lft-identity
161×add-sqr-sqrt
107×add-cube-cbrt
70×fma-def
27×distribute-lft-out-- difference-of-squares
13×associate-/r* div-inv
7×add-cbrt-cube add-exp-log
5×associate-/l*
4×add-log-exp
3×cbrt-undiv div-exp
2×expm1-log1p-u pow1 div-sub associate-/r/ log1p-expm1-u associate-/l/
1×+-commutative clear-num sum-log frac-2neg flip3-+ flip3-- associate-+l- flip-+ flip-- distribute-lft-out
Counts
2 → 188
Calls
2 calls:
92.0ms
(+ (/ (- z t) (/ y x)) t)
17.0ms
(/ (- z t) (/ y x))

series100.0ms

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

simplify1.4s

Counts
194 → 194
Iterations
IterNodes
done5000
22008
1669
0223

prune1.1s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize23.0ms

Local error

Found 2 expressions with local error:

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

rewrite48.0ms

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

series133.0ms

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

simplify2.8s

Counts
52 → 52
Iterations
IterNodes
done5000
33995
2815
1252
090

prune336.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- z t) y)
6.7b
(fma (/ (- z t) y) x t)

rewrite16.0ms

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

series98.0ms

Counts
2 → 6
Calls
2 calls:
46.0ms
(/ (- z t) y)
52.0ms
(fma (/ (- z t) y) x t)

simplify1.6s

Counts
56 → 56
Iterations
IterNodes
done5000
31333
2451
1203
095

prune276.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes456.0ms

Accuracy

-26% (2.5b remaining)

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

bsearch146.0ms

Steps
ItersRangePoint
7
6.968509859394364e-20
3.721454938748264e-18
1.1183176475807453e-19
7
9.9261037431321e-284
2.703037102139842e-282
7.8187551288468e-283
7
-7.55818170176457e-223
-8.136237533380533e-225
-1.3361173630596741e-223
10
-5.365292474557549e-15
-6.425741402138989e-34
-2.664918217275975e-24

simplify6.0ms

Iterations
IterNodes
done39
139
031

end0.0ms

sample871.0ms

Algorithm
intervals
Results
457.0ms10759×body80valid