Details

Time bar (total: 24.3s)

sample38.0ms

Algorithm
intervals
Results
16.0ms273×body80valid

simplify206.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (11.0ms)

IterNodesCost
0911
12111
24010
36710
410210
513910
614410
done14410

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.7b

localize24.0ms

Local error

Found 2 expressions with local error:

0.2b
(/ (/ 1.0 x) y)
5.7b
(/ (/ (/ 1.0 x) y) (fma z z 1.0))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
468×times-frac
228×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
56×associate-/l*
22×div-inv
16×add-exp-log add-cbrt-cube
9×cbrt-undiv div-exp
6×associate-/r*
2×pow1 expm1-log1p-u frac-2neg clear-num log1p-expm1-u associate-/l/ add-log-exp
Counts
2 → 266
Calls
2 calls:
21.0ms
(/ (/ 1.0 x) y)
48.0ms
(/ (/ (/ 1.0 x) y) (fma z z 1.0))

series175.0ms

Counts
2 → 6
Calls
2 calls:
47.0ms
(/ (/ 1.0 x) y)
128.0ms
(/ (/ (/ 1.0 x) y) (fma z z 1.0))

simplify1.1s

Counts
272 → 272
Iterations

Useful iterations: done (1.1s)

IterNodesCost
04715328
111895051
done50014955

prune2.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 4.5b

localize58.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
1.1b
(* (/ 1 (* (cbrt x) (cbrt x))) (/ (/ (/ 1.0 (cbrt x)) y) (fma z z 1.0)))
5.4b
(/ (/ (/ 1.0 (cbrt x)) y) (fma z z 1.0))

rewrite507.0ms

Algorithm
rewrite-expression-head
Rules
1300×times-frac
636×add-sqr-sqrt
589×*-un-lft-identity
584×add-cube-cbrt
214×associate-*r*
198×cbrt-prod
131×add-exp-log
70×associate-/l*
64×div-exp
55×add-cbrt-cube
40×prod-exp
32×cbrt-undiv
31×div-inv
16×cbrt-unprod
15×unswap-sqr
8×rec-exp 1-exp
7×associate-*l*
6×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r*
2×pow1/3
1×frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative associate-/l/
Counts
4 → 618
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
310.0ms
(* (/ 1 (* (cbrt x) (cbrt x))) (/ (/ (/ 1.0 (cbrt x)) y) (fma z z 1.0)))
64.0ms
(/ (/ (/ 1.0 (cbrt x)) y) (fma z z 1.0))

series1.1s

Counts
4 → 12
Calls
4 calls:
354.0ms
(cbrt x)
359.0ms
(cbrt x)
161.0ms
(* (/ 1 (* (cbrt x) (cbrt x))) (/ (/ (/ 1.0 (cbrt x)) y) (fma z z 1.0)))
252.0ms
(/ (/ (/ 1.0 (cbrt x)) y) (fma z z 1.0))

simplify2.8s

Counts
630 → 630
Iterations

Useful iterations: done (2.8s)

IterNodesCost
096015485
1340114478
done500014048

prune5.4s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 4.5b

localize25.0ms

Local error

Found 2 expressions with local error:

0.3b
(* (/ 1.0 x) (/ 1 y))
5.7b
(/ (* (/ 1.0 x) (/ 1 y)) (fma z z 1.0))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
56×add-exp-log
35×add-sqr-sqrt
32×add-cbrt-cube
28×times-frac
25×div-exp
20×*-un-lft-identity
18×add-cube-cbrt
16×prod-exp
13×cbrt-undiv associate-*r* associate-*l*
8×cbrt-unprod
6×unswap-sqr
4×pow1 rec-exp 1-exp associate-/l/
3×associate-/r* div-inv
2×expm1-log1p-u frac-times associate-*r/ associate-*l/ un-div-inv log1p-expm1-u add-log-exp
1×frac-2neg pow-prod-down clear-num *-commutative associate-/l*
Counts
2 → 96
Calls
2 calls:
45.0ms
(* (/ 1.0 x) (/ 1 y))
45.0ms
(/ (* (/ 1.0 x) (/ 1 y)) (fma z z 1.0))

series167.0ms

Counts
2 → 6
Calls
2 calls:
40.0ms
(* (/ 1.0 x) (/ 1 y))
126.0ms
(/ (* (/ 1.0 x) (/ 1 y)) (fma z z 1.0))

simplify3.4s

Counts
102 → 102
Iterations

Useful iterations: done (3.4s)

IterNodesCost
01781329
15381226
23319917
done5002905

prune570.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 4.5b

localize25.0ms

Local error

Found 2 expressions with local error:

0.2b
(/ (/ 1.0 x) y)
5.7b
(/ (pow (/ (/ 1.0 x) y) 1) (fma z z 1.0))

rewrite164.0ms

Algorithm
rewrite-expression-head
Rules
480×times-frac
236×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
172×unpow-prod-down
60×associate-/l*
22×div-inv
19×add-exp-log
11×div-exp
9×add-cbrt-cube
6×associate-/r*
4×cbrt-undiv sqr-pow
3×pow-exp
2×pow1 expm1-log1p-u frac-2neg clear-num log1p-expm1-u add-log-exp
1×pow-to-exp associate-/l/
Counts
2 → 281
Calls
2 calls:
22.0ms
(/ (/ 1.0 x) y)
99.0ms
(/ (pow (/ (/ 1.0 x) y) 1) (fma z z 1.0))

series160.0ms

Counts
2 → 6
Calls
2 calls:
37.0ms
(/ (/ 1.0 x) y)
123.0ms
(/ (pow (/ (/ 1.0 x) y) 1) (fma z z 1.0))

simplify1.1s

Counts
287 → 287
Iterations

Useful iterations: done (1.1s)

IterNodesCost
05836335
113395332
done50005230

prune2.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 4.5b

regimes451.0ms

Accuracy

34.8% (1.0b remaining)

Error of 5.9b against oracle of 4.9b and baseline of 6.4b

bsearch2.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02037
12637
done2637

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.2s8644×body80valid