Details

Time bar (total: 1.8m)

sample3.1s

Algorithm
intervals
Results
2.2s131×body10240exit
489.0ms36×body640nan
101.0ms47×body1280nan
97.0ms257×body80valid
32.0ms29×body320nan
7.0ms11×body160nan
2.0ms7×body80nan

simplify2.6s

Counts
1 → 1
Iterations

Useful iterations: 3 (789.0ms)

IterNodesCost
060123
1148123
2609121
3384688
done500188

prune43.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.8b

localize96.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))))
1.0b
(/ (pow (+ 0.5 (+ 7.0 (- z))) (+ (- z) 0.5)) (exp (+ 0.5 (+ 7.0 (- z)))))
1.0b
(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
1.0b
(sqrt (* PI 2.0))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
80×*-un-lft-identity
44×times-frac
34×distribute-lft-out
30×unpow-prod-down
26×add-sqr-sqrt add-cube-cbrt
18×add-log-exp
12×exp-sum
11×associate-/l*
9×sum-log
8×frac-add
7×pow1
6×add-exp-log add-cbrt-cube
5×unpow-prod-up distribute-rgt-neg-in flip3-+ flip-+ sqr-pow
4×associate-+r- associate-/r*
3×exp-diff div-exp associate-/r/
2×+-commutative neg-sub0 associate-+r+ sqrt-pow1
1×cbrt-undiv pow-to-exp associate-+l- frac-2neg pow1/2 unsub-neg pow-prod-down pow-exp clear-num sqrt-prod div-inv associate-/l/ pow-sub
Counts
4 → 126
Calls
4 calls:
545.0ms
(+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))))
360.0ms
(/ (pow (+ 0.5 (+ 7.0 (- z))) (+ (- z) 0.5)) (exp (+ 0.5 (+ 7.0 (- z)))))
183.0ms
(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
7.0ms
(sqrt (* PI 2.0))

series450.0ms

Counts
4 → 10
Calls
4 calls:
116.0ms
(+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))))
269.0ms
(/ (pow (+ 0.5 (+ 7.0 (- z))) (+ (- z) 0.5)) (exp (+ 0.5 (+ 7.0 (- z)))))
65.0ms
(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
0.0ms
(sqrt (* PI 2.0))

simplify1.8s

Counts
136 → 136
Iterations

Useful iterations: 2 (645.0ms)

IterNodesCost
03414070
18393468
230673273
done50023273

prune2.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize93.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ 0.9999999999998099 (+ (/ 771.3234287776531 (- 3.0 z)) (/ 676.5203681218851 (- 1.0 z))))
1.0b
(+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (/ 12.507343278686905 (- 5.0 z))))
1.0b
(/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))
1.0b
(sqrt (* PI 2.0))

rewrite898.0ms

Algorithm
rewrite-expression-head
Rules
121×*-un-lft-identity
68×times-frac
32×distribute-lft-out
26×add-sqr-sqrt add-cube-cbrt
25×unpow-prod-down
17×distribute-lft-out--
14×add-log-exp
12×exp-sum
11×associate-/l*
10×unpow-prod-up
7×pow1
6×add-exp-log sum-log add-cbrt-cube
5×sub-neg sqr-pow
4×frac-add associate-/r*
3×flip3-+ div-exp flip-+
2×+-commutative associate-+r+ sqrt-pow1
1×cbrt-undiv pow-to-exp associate-+l- frac-2neg pow1/2 exp-diff pow-prod-down pow-exp clear-num sqrt-prod associate-/r/ div-inv associate-/l/ pow-sub
Counts
4 → 127
Calls
4 calls:
240.0ms
(+ 0.9999999999998099 (+ (/ 771.3234287776531 (- 3.0 z)) (/ 676.5203681218851 (- 1.0 z))))
337.0ms
(+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (/ 12.507343278686905 (- 5.0 z))))
311.0ms
(/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))
4.0ms
(sqrt (* PI 2.0))

series521.0ms

Counts
4 → 10
Calls
4 calls:
94.0ms
(+ 0.9999999999998099 (+ (/ 771.3234287776531 (- 3.0 z)) (/ 676.5203681218851 (- 1.0 z))))
147.0ms
(+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (/ 12.507343278686905 (- 5.0 z))))
280.0ms
(/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))
0.0ms
(sqrt (* PI 2.0))

simplify1.7s

Counts
137 → 137
Iterations

Useful iterations: 2 (547.0ms)

IterNodesCost
03343397
17973258
227193102
done50003102

prune1.8s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0b

localize94.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp 0.5))
1.0b
(+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (/ 12.507343278686905 (- 5.0 z))))
1.0b
(+ 0.9999999999998099 (+ (/ 771.3234287776531 (- 3.0 z)) (/ 676.5203681218851 (- 1.0 z))))
1.0b
(sqrt (* PI 2.0))

rewrite703.0ms

Algorithm
rewrite-expression-head
Rules
114×*-un-lft-identity
57×times-frac
30×distribute-lft-out
24×add-sqr-sqrt add-cube-cbrt
20×unpow-prod-down
16×distribute-lft-out--
14×add-log-exp
11×associate-/l*
8×unpow-prod-up
7×pow1
6×add-exp-log sum-log add-cbrt-cube
4×sub-neg frac-add sqr-pow
3×flip3-+ div-exp associate-/r* flip-+
2×+-commutative associate-+r+ sqrt-pow1
1×cbrt-undiv pow-to-exp frac-2neg pow1/2 pow-prod-down pow-exp clear-num sqrt-prod div-inv associate-/l/ pow-sub
Counts
4 → 114
Calls
4 calls:
162.0ms
(/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp 0.5))
276.0ms
(+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (/ 12.507343278686905 (- 5.0 z))))
248.0ms
(+ 0.9999999999998099 (+ (/ 771.3234287776531 (- 3.0 z)) (/ 676.5203681218851 (- 1.0 z))))
5.0ms
(sqrt (* PI 2.0))

series540.0ms

Counts
4 → 10
Calls
4 calls:
316.0ms
(/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp 0.5))
145.0ms
(+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (/ 12.507343278686905 (- 5.0 z))))
79.0ms
(+ 0.9999999999998099 (+ (/ 771.3234287776531 (- 3.0 z)) (/ 676.5203681218851 (- 1.0 z))))
0.0ms
(sqrt (* PI 2.0))

simplify1.7s

Counts
124 → 124
Iterations

Useful iterations: done (1.7s)

IterNodesCost
03142679
17682556
225512416
done50002415

prune1.9s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

localize73.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ 0.9999999999998099 (+ (/ 771.3234287776531 (- 3.0 z)) (/ 676.5203681218851 (- 1.0 z))))
1.0b
(+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (/ 12.507343278686905 (- 5.0 z))))
1.0b
(* (/ (sqrt (pow (+ (- 7.0 z) 0.5) (- 0.5 z))) (sqrt (exp (+ (- 7.0 z) 0.5)))) (/ (sqrt (pow (+ (- 7.0 z) 0.5) (- 0.5 z))) (sqrt (exp (+ (- 7.0 z) 0.5)))))
1.0b
(sqrt (* PI 2.0))

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
1047×sqrt-prod
796×times-frac
702×*-un-lft-identity
658×add-sqr-sqrt
304×unpow-prod-down
256×add-cube-cbrt
221×swap-sqr
158×distribute-lft-out
103×associate-*r* associate-*l*
100×unpow-prod-up
81×unswap-sqr
80×distribute-lft-out--
76×exp-sum
68×sqr-pow
50×sub-neg
16×add-exp-log add-cbrt-cube
14×pow1 add-log-exp
6×sum-log
4×cbrt-undiv associate-+l- sqrt-undiv exp-diff sqrt-div div-exp frac-add prod-exp associate-/r/ cbrt-unprod div-inv
3×flip3-+ flip-+
2×+-commutative associate-+r+ sqrt-pow1 pow-prod-down
1×pow2 frac-times pow-plus pow1/2 sqrt-unprod associate-*r/ associate-*l/ rem-square-sqrt pow-sqr *-commutative pow-prod-up
Counts
4 → 586
Calls
4 calls:
276.0ms
(+ 0.9999999999998099 (+ (/ 771.3234287776531 (- 3.0 z)) (/ 676.5203681218851 (- 1.0 z))))
341.0ms
(+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (/ 12.507343278686905 (- 5.0 z))))
1.4s
(* (/ (sqrt (pow (+ (- 7.0 z) 0.5) (- 0.5 z))) (sqrt (exp (+ (- 7.0 z) 0.5)))) (/ (sqrt (pow (+ (- 7.0 z) 0.5) (- 0.5 z))) (sqrt (exp (+ (- 7.0 z) 0.5)))))
4.0ms
(sqrt (* PI 2.0))

series400.0ms

Counts
4 → 10
Calls
4 calls:
76.0ms
(+ 0.9999999999998099 (+ (/ 771.3234287776531 (- 3.0 z)) (/ 676.5203681218851 (- 1.0 z))))
128.0ms
(+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (/ 12.507343278686905 (- 5.0 z))))
195.0ms
(* (/ (sqrt (pow (+ (- 7.0 z) 0.5) (- 0.5 z))) (sqrt (exp (+ (- 7.0 z) 0.5)))) (/ (sqrt (pow (+ (- 7.0 z) 0.5) (- 0.5 z))) (sqrt (exp (+ (- 7.0 z) 0.5)))))
0.0ms
(sqrt (* PI 2.0))

simplify1.1s

Counts
596 → 596
Iterations

Useful iterations: done (1.0s)

IterNodesCost
060333571
1182530120
done500025574

prune5.1s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

regimes213.0ms

Accuracy

0% (0.5b remaining)

Error of 0.5b against oracle of 0.1b and baseline of 0.5b

bsearch0.0ms

simplify9.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06080
17580
done7580

end0.0ms

sample1.3m

Algorithm
intervals
Results
1.1m3898×body10240exit
4.3s1469×body1280nan
4.2s1247×body640nan
4.2s8091×body80valid
699.0ms649×body320nan
659.0ms282×body160nan
143.0ms284×body80nan
1.0ms1×body160valid