Details

Time bar (total: 14.0s)

sample57.0ms

Algorithm
intervals
Results
28.0ms334×body80valid

simplify2.9s

Counts
1 → 1
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
089
1158
2338
3638
41108
51628
62108
72498
84958
914118
done50018

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.3b

localize7.0ms

Local error

Found 1 expressions with local error:

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

rewrite1.0ms

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

series45.0ms

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

simplify2.0s

Counts
13 → 13
Iterations

Useful iterations: 3 (66.0ms)

IterNodesCost
023154
141154
291138
3283123
42198123
done5000123

prune36.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- z t) y)
5.4b
(* (/ (- z t) y) x)

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
36×*-un-lft-identity
31×times-frac
22×add-cube-cbrt
19×associate-*l*
9×add-exp-log add-cbrt-cube
7×distribute-lft-out-- difference-of-squares
5×associate-/l*
4×pow1
3×associate-*r* associate-/r*
2×cbrt-undiv expm1-log1p-u div-exp prod-exp cbrt-unprod log1p-expm1-u div-inv associate-/l/ add-log-exp unswap-sqr
1×flip3-- frac-2neg div-sub pow-prod-down associate-*l/ clear-num *-commutative flip--
Counts
2 → 80
Calls
2 calls:
18.0ms
(/ (- z t) y)
34.0ms
(* (/ (- z t) y) x)

series81.0ms

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

simplify727.0ms

Counts
86 → 86
Iterations

Useful iterations: 2 (133.0ms)

IterNodesCost
0121841
1295814
21209750
done5002750

prune281.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize9.0ms

Local error

Found 2 expressions with local error:

0.2b
(* (- z t) (/ 1 y))
5.4b
(* (* (- z t) (/ 1 y)) x)

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
26×add-exp-log
20×add-sqr-sqrt
16×associate-*r* add-cbrt-cube
14×*-un-lft-identity
13×prod-exp
11×add-cube-cbrt times-frac
10×associate-*l/
9×pow1
7×cbrt-unprod
6×associate-*l*
4×frac-times flip3-- div-exp pow-prod-down flip--
3×unswap-sqr
2×cbrt-undiv expm1-log1p-u rec-exp 1-exp associate-*r/ un-div-inv *-commutative log1p-expm1-u add-log-exp
1×div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 74
Calls
2 calls:
33.0ms
(* (- z t) (/ 1 y))
55.0ms
(* (* (- z t) (/ 1 y)) x)

series100.0ms

Counts
2 → 6
Calls
2 calls:
47.0ms
(* (- z t) (/ 1 y))
52.0ms
(* (* (- z t) (/ 1 y)) x)

simplify3.6s

Counts
80 → 80
Iterations

Useful iterations: done (3.6s)

IterNodesCost
0140902
1371822
22770619
done5000605

prune450.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

1.2b
(* (* (cbrt (/ (- z t) y)) (cbrt (/ (- z t) y))) (* (cbrt (/ (- z t) y)) x))
8.0b
(cbrt (/ (- z t) y))
8.0b
(cbrt (/ (- z t) y))
8.0b
(cbrt (/ (- z t) y))

rewrite147.0ms

Algorithm
rewrite-expression-head
Rules
57×cbrt-prod
49×add-sqr-sqrt *-un-lft-identity
45×times-frac
31×add-cube-cbrt
16×pow1 add-exp-log
15×cbrt-div
10×add-cbrt-cube
9×associate-*l/ distribute-lft-out-- difference-of-squares
8×pow-prod-down prod-exp cbrt-unprod
5×frac-times
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*r/ div-inv
1×associate-*r* associate-*l* *-commutative
Counts
4 → 121
Calls
4 calls:
115.0ms
(* (* (cbrt (/ (- z t) y)) (cbrt (/ (- z t) y))) (* (cbrt (/ (- z t) y)) x))
8.0ms
(cbrt (/ (- z t) y))
8.0ms
(cbrt (/ (- z t) y))
8.0ms
(cbrt (/ (- z t) y))

series579.0ms

Counts
4 → 12
Calls
4 calls:
115.0ms
(* (* (cbrt (/ (- z t) y)) (cbrt (/ (- z t) y))) (* (cbrt (/ (- z t) y)) x))
150.0ms
(cbrt (/ (- z t) y))
144.0ms
(cbrt (/ (- z t) y))
169.0ms
(cbrt (/ (- z t) y))

simplify861.0ms

Counts
133 → 133
Iterations

Useful iterations: done (856.0ms)

IterNodesCost
01712248
13862163
210521766
done50001630

prune532.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes241.0ms

Accuracy

2.5% (2.1b remaining)

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

bsearch92.0ms

Steps
ItersRangePoint
9
2.1150064454478258e-200
1.7042216608330097e-193
3.1566220719448914e-195
7
-8.865164403204609e-275
-3.6872257638416603e-277
-6.904120390825683e-275

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
01937
12530
done2530

end0.0ms

sample1.1s

Algorithm
intervals
Results
459.0ms10732×body80valid