Details

Time bar (total: 2.6m)

sample24.0ms

Algorithm
intervals
Results
11.0ms278×body80valid

simplify142.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (6.0ms)

IterNodesCost
0911
12111
24010
36710
410010
513010
613210
done13210

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 6.0b

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite64.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:
11.0ms
(/ (/ 1.0 x) y)
24.0ms
(/ (/ (/ 1.0 x) y) (fma z z 1.0))

series93.0ms

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

simplify1.7s

Counts
272 → 272
Iterations

Useful iterations: done (1.7s)

IterNodesCost
04715328
110665051
228244931
done50004929

prune1.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 5.9b

localize18.0ms

Local error

Found 3 expressions with local error:

0.2b
(/ (/ 1.0 x) y)
0.6b
(/ (/ (/ 1 1) 1) (/ (fma z z 1.0) (/ (/ 1.0 x) y)))
6.4b
(/ (fma z z 1.0) (/ (/ 1.0 x) y))

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
29528×times-frac
11510×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
1135×div-inv
247×add-exp-log div-exp
180×associate-/r*
71×add-cbrt-cube
68×1-exp
59×associate-/l*
51×cbrt-undiv
46×associate-/r/
16×rec-exp
3×pow1 expm1-log1p-u frac-2neg clear-num log1p-expm1-u add-log-exp
2×associate-/l/
Counts
3 → 6291
Calls
3 calls:
12.0ms
(/ (/ 1.0 x) y)
222.0ms
(/ (/ (/ 1 1) 1) (/ (fma z z 1.0) (/ (/ 1.0 x) y)))
24.0ms
(/ (fma z z 1.0) (/ (/ 1.0 x) y))

series157.0ms

Counts
3 → 9
Calls
3 calls:
25.0ms
(/ (/ 1.0 x) y)
72.0ms
(/ (/ (/ 1 1) 1) (/ (fma z z 1.0) (/ (/ 1.0 x) y)))
60.0ms
(/ (fma z z 1.0) (/ (/ 1.0 x) y))

simplify4.0s

Counts
6300 → 6300
Iterations

Useful iterations: 0 (807.0ms)

IterNodesCost
010245269717
done10245269717

prune37.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 5.8b

localize42.0ms

Local error

Found 3 expressions with local error:

0.4b
(/ (/ (sqrt (/ 1 1)) (sqrt 1)) (/ (fma z z 1.0) (/ 1.0 x)))
3.2b
(* (/ (/ (sqrt (/ 1 1)) (sqrt 1)) (/ (fma z z 1.0) (/ 1.0 x))) (/ (/ (sqrt (/ 1 1)) (sqrt 1)) y))
4.4b
(/ (fma z z 1.0) (/ 1.0 x))

rewrite21.4s

Algorithm
rewrite-expression-head
Rules
43163×times-frac
21752×add-sqr-sqrt
16758×*-un-lft-identity
14778×sqrt-prod
14634×add-cube-cbrt
4405×associate-*l*
1456×div-inv
1160×unswap-sqr
304×associate-*r*
204×associate-/r/
137×add-exp-log add-cbrt-cube
103×associate-/l*
84×cbrt-undiv div-exp
57×associate-/r*
21×prod-exp cbrt-unprod
5×pow1
3×expm1-log1p-u log1p-expm1-u add-log-exp
2×frac-2neg clear-num
1×frac-times associate-*r/ pow-prod-down associate-*l/ *-commutative associate-/l/
Counts
3 → 10567
Calls
3 calls:
154.0ms
(/ (/ (sqrt (/ 1 1)) (sqrt 1)) (/ (fma z z 1.0) (/ 1.0 x)))
19.0s
(* (/ (/ (sqrt (/ 1 1)) (sqrt 1)) (/ (fma z z 1.0) (/ 1.0 x))) (/ (/ (sqrt (/ 1 1)) (sqrt 1)) y))
19.0ms
(/ (fma z z 1.0) (/ 1.0 x))

series250.0ms

Counts
3 → 9
Calls
3 calls:
77.0ms
(/ (/ (sqrt (/ 1 1)) (sqrt 1)) (/ (fma z z 1.0) (/ 1.0 x)))
95.0ms
(* (/ (/ (sqrt (/ 1 1)) (sqrt 1)) (/ (fma z z 1.0) (/ 1.0 x))) (/ (/ (sqrt (/ 1 1)) (sqrt 1)) y))
78.0ms
(/ (fma z z 1.0) (/ 1.0 x))

simplify4.4s

Counts
10576 → 10576
Iterations

Useful iterations: 0 (910.0ms)

IterNodesCost
08577406344
done8577406344

prune1.0m

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 5.8b

localize59.0ms

Local error

Found 4 expressions with local error:

3.2b
(* (* (/ (/ (sqrt (sqrt (/ 1 1))) (* (cbrt (sqrt 1)) (cbrt (sqrt 1)))) (/ (* (cbrt (fma z z 1.0)) (cbrt (fma z z 1.0))) (/ 1 1))) (/ (/ (sqrt (sqrt (/ 1 1))) (cbrt (sqrt 1))) (/ (cbrt (fma z z 1.0)) (/ 1.0 x)))) (/ (/ (sqrt (/ 1 1)) (sqrt 1)) y))
18.3b
(cbrt (fma z z 1.0))
18.3b
(cbrt (fma z z 1.0))
18.3b
(cbrt (fma z z 1.0))

rewrite5.9s

Algorithm
rewrite-expression-head
Rules
9034×add-exp-log
6000×div-exp
2691×prod-exp
2413×add-cbrt-cube
1962×cbrt-undiv
906×cbrt-unprod
750×times-frac
630×1-exp
378×sqrt-prod
351×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
304×associate-*r*
252×rec-exp
22×div-inv
9×pow1 cbrt-prod
5×frac-times associate-*l/
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*r/ pow-prod-down
1×associate-*l* *-commutative
Counts
4 → 1671
Calls
4 calls:
5.4s
(* (* (/ (/ (sqrt (sqrt (/ 1 1))) (* (cbrt (sqrt 1)) (cbrt (sqrt 1)))) (/ (* (cbrt (fma z z 1.0)) (cbrt (fma z z 1.0))) (/ 1 1))) (/ (/ (sqrt (sqrt (/ 1 1))) (cbrt (sqrt 1))) (/ (cbrt (fma z z 1.0)) (/ 1.0 x)))) (/ (/ (sqrt (/ 1 1)) (sqrt 1)) y))
2.0ms
(cbrt (fma z z 1.0))
16.0ms
(cbrt (fma z z 1.0))
2.0ms
(cbrt (fma z z 1.0))

series868.0ms

Counts
4 → 12
Calls
4 calls:
86.0ms
(* (* (/ (/ (sqrt (sqrt (/ 1 1))) (* (cbrt (sqrt 1)) (cbrt (sqrt 1)))) (/ (* (cbrt (fma z z 1.0)) (cbrt (fma z z 1.0))) (/ 1 1))) (/ (/ (sqrt (sqrt (/ 1 1))) (cbrt (sqrt 1))) (/ (cbrt (fma z z 1.0)) (/ 1.0 x)))) (/ (/ (sqrt (/ 1 1)) (sqrt 1)) y))
250.0ms
(cbrt (fma z z 1.0))
248.0ms
(cbrt (fma z z 1.0))
284.0ms
(cbrt (fma z z 1.0))

simplify12.7s

Counts
1683 → 1683
Iterations

Useful iterations: done (12.6s)

IterNodesCost
02581139155
1494058525
done500052092

prune2.0s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 5.8b

regimes159.0ms

Accuracy

0% (1.5b remaining)

Error of 6.6b against oracle of 5.1b and baseline of 6.6b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
01526
11814
done1814

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.0s8596×body80valid