Details

Time bar (total: 14.8s)

sample39.0ms

Algorithm
intervals
Results
17.0ms348×body80valid

simplify2.7s

Counts
1 → 1
Iterations
IterNodes
done5000
91398
8493
7248
6209
5161
4109
363
233
115
08

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.6b

localize8.0ms

Local error

Found 1 expressions with local error:

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

rewrite1.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 log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma (/ x y) (- z t) t)

series50.0ms

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

simplify1.6s

Counts
13 → 13
Iterations
IterNodes
done5001
42033
3285
294
145
025

prune98.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 2.6b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite74.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:
16.0ms
(+ (* (/ x y) (- z t)) t)
50.0ms
(* (/ x y) (- z t))

series123.0ms

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

simplify2.3s

Counts
104 → 104
Iterations
IterNodes
done5001
22503
1508
0180

prune533.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
2.0b
(fma (/ x y) (+ t (- t)) t)
6.5b
(* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1))) (/ x y))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
14×*-un-lft-identity add-cube-cbrt
13×associate-*r*
10×times-frac
9×add-cbrt-cube add-exp-log
6×cbrt-prod pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*l*
2×pow1/3 prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv div-exp pow-prod-down associate-*r/ *-commutative fma-udef div-inv
Counts
4 → 70
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
0.0ms
(fma (/ x y) (+ t (- t)) t)
11.0ms
(* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1))) (/ x y))

series838.0ms

Counts
4 → 12
Calls
4 calls:
295.0ms
(cbrt z)
290.0ms
(cbrt z)
29.0ms
(fma (/ x y) (+ t (- t)) t)
223.0ms
(* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1))) (/ x y))

simplify556.0ms

Counts
82 → 82
Iterations
IterNodes
done5000
2981
1259
0116

prune637.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.8b
(* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))
11.2b
(cbrt (/ x y))
11.2b
(cbrt (/ x y))
11.2b
(cbrt (/ x y))

rewrite88.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 log1p-expm1-u add-log-exp
3×pow1/3 div-inv
1×associate-*r* associate-*l* *-commutative
Counts
4 → 163
Calls
4 calls:
74.0ms
(* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))
2.0ms
(cbrt (/ x y))
2.0ms
(cbrt (/ x y))
2.0ms
(cbrt (/ x y))

series344.0ms

Counts
4 → 12
Calls
4 calls:
73.0ms
(* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))
94.0ms
(cbrt (/ x y))
89.0ms
(cbrt (/ x y))
88.0ms
(cbrt (/ x y))

simplify1.6s

Counts
175 → 175
Iterations
IterNodes
done5000
22980
1794
0280

prune714.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

regimes653.0ms

Accuracy

12.1% (1.8b remaining)

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

bsearch89.0ms

Steps
ItersRangePoint
8
3.485276264119076e-155
9.411634535372363e-153
2.9163819835734605e-154
10
-1.0780386787535981e-167
-1.2683548840946811e-179
-8.817139765258243e-176

simplify3.0ms

Iterations
IterNodes
done21
121
016

end0.0ms

sample1.7s

Algorithm
intervals
Results
586.0ms10632×body80valid