Details

Time bar (total: 35.4s)

sample35.0ms

Algorithm
intervals
Results
11.0ms335×body80valid

simplify9.1s

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

prune49.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize22.0ms

Local error

Found 2 expressions with local error:

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

rewrite136.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 insert-posit16 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 → 100
Calls
2 calls:
57.0ms
(+ (* (/ x y) (- z t)) t)
60.0ms
(* (/ x y) (- z t))

series201.0ms

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

simplify3.6s

Counts
106 → 106
Iterations
IterNodes
done5002
21634
1515
0182

prune1.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize28.0ms

Local error

Found 1 expressions with local error:

2.7b
(fma (/ x y) (- z t) t)

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
1×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef insert-posit16 log1p-expm1-u add-log-exp
Counts
1 → 11
Calls
1 calls:
2.0ms
(fma (/ x y) (- z t) t)

series65.0ms

Counts
1 → 3
Calls
1 calls:
65.0ms
(fma (/ x y) (- z t) t)

simplify3.0s

Counts
14 → 14
Iterations
IterNodes
done5006
41245
3264
292
146
026

prune268.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize68.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- z t))
0.6b
(cbrt (- z t))
1.9b
(* (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))
7.0b
(* (/ x y) (* (cbrt (- z t)) (cbrt (- z t))))

rewrite640.0ms

Algorithm
rewrite-expression-head
Rules
136×cbrt-div
98×frac-times
68×flip3-- flip--
50×associate-*r/
37×associate-*l/
34×add-exp-log
24×add-sqr-sqrt
21×*-un-lft-identity add-cbrt-cube
18×pow1
17×prod-exp cbrt-unprod
15×cbrt-prod add-cube-cbrt
14×associate-*l*
10×times-frac
9×associate-*r* pow-prod-down
4×expm1-log1p-u cbrt-undiv div-exp insert-posit16 log1p-expm1-u add-log-exp
3×distribute-lft-out-- difference-of-squares
2×pow1/3 *-commutative unswap-sqr
1×div-inv
Counts
4 → 176
Calls
4 calls:
12.0ms
(cbrt (- z t))
12.0ms
(cbrt (- z t))
466.0ms
(* (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))
112.0ms
(* (/ x y) (* (cbrt (- z t)) (cbrt (- z t))))

series1.1s

Counts
4 → 12
Calls
4 calls:
326.0ms
(cbrt (- z t))
369.0ms
(cbrt (- z t))
109.0ms
(* (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))
273.0ms
(* (/ x y) (* (cbrt (- z t)) (cbrt (- z t))))

simplify3.9s

Counts
188 → 188
Iterations
IterNodes
done5006
22162
1814
0305

prune2.5s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize68.0ms

Local error

Found 4 expressions with local error:

1.4b
(* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))
13.5b
(cbrt (/ x y))
13.5b
(cbrt (/ x y))
13.5b
(cbrt (/ x y))

rewrite185.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
44×distribute-rgt-in distribute-lft-in
39×cbrt-prod cbrt-div
36×prod-diff
29×frac-times
27×times-frac
19×associate-*r/
16×pow1 add-exp-log
13×associate-*l/
10×add-cbrt-cube
8×flip3-- pow-prod-down prod-exp cbrt-unprod flip--
4×expm1-log1p-u sub-neg insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3 div-inv
1×associate-*r* associate-*l* *-commutative
Counts
4 → 167
Calls
4 calls:
145.0ms
(* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))
4.0ms
(cbrt (/ x y))
4.0ms
(cbrt (/ x y))
4.0ms
(cbrt (/ x y))

series592.0ms

Counts
4 → 12
Calls
4 calls:
143.0ms
(* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))
157.0ms
(cbrt (/ x y))
147.0ms
(cbrt (/ x y))
145.0ms
(cbrt (/ x y))

simplify3.7s

Counts
179 → 179
Iterations
IterNodes
done5000
21892
1752
0282

prune1.9s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes1.4s

Accuracy

-22.8% (2.7b remaining)

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

bsearch112.0ms

Steps
ItersRangePoint
9
3.7504701647647255e+77
4.1888210936971656e+85
3.8109175992763017e+77
8
-8.716081075015043e+209
-1.2766124901423475e+206
-1.2142764963497153e+208

simplify13.0ms

Iterations
IterNodes
done20
120
018

end0.0ms

sample1.2s

Algorithm
intervals
Results
519.0ms10715×body80valid