Details

Time bar (total: 1.8m)

sample2.7s

Algorithm
intervals
Results
2.2s131×body10240exit
135.0ms47×body1280nan
134.0ms257×body80valid
52.0ms36×body640nan
31.0ms29×body320nan
8.0ms11×body160nan
3.0ms7×body80nan

simplify2.6s

Counts
1 → 1
Iterations

Useful iterations: 3 (925.0ms)

IterNodesCost
060123
1148123
2609121
3384688
done500188

prune62.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.8b

localize105.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.6s

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:
967.0ms
(+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))))
408.0ms
(/ (pow (+ 0.5 (+ 7.0 (- z))) (+ (- z) 0.5)) (exp (+ 0.5 (+ 7.0 (- z)))))
200.0ms
(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
6.0ms
(sqrt (* PI 2.0))

series407.0ms

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

simplify1.6s

Counts
136 → 136
Iterations

Useful iterations: 2 (624.0ms)

IterNodesCost
03414070
18393468
230673273
done50023273

prune2.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize95.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))

rewrite911.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:
244.0ms
(+ 0.9999999999998099 (+ (/ 771.3234287776531 (- 3.0 z)) (/ 676.5203681218851 (- 1.0 z))))
329.0ms
(+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (/ 12.507343278686905 (- 5.0 z))))
326.0ms
(/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))
4.0ms
(sqrt (* PI 2.0))

series413.0ms

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

simplify1.5s

Counts
137 → 137
Iterations

Useful iterations: 2 (522.0ms)

IterNodesCost
03343397
17973258
227193102
done50003102

prune1.9s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0b

localize82.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))

rewrite837.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:
182.0ms
(/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp 0.5))
350.0ms
(+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (/ 12.507343278686905 (- 5.0 z))))
288.0ms
(+ 0.9999999999998099 (+ (/ 771.3234287776531 (- 3.0 z)) (/ 676.5203681218851 (- 1.0 z))))
7.0ms
(sqrt (* PI 2.0))

series518.0ms

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

simplify1.3s

Counts
124 → 124
Iterations

Useful iterations: done (1.3s)

IterNodesCost
03142679
17682556
225512416
done50002415

prune1.8s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

localize91.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 (sqrt (+ (- 7.0 z) 0.5)) (- 0.5 z)) (sqrt (exp (+ (- 7.0 z) 0.5)))) (/ (pow (sqrt (+ (- 7.0 z) 0.5)) (- 0.5 z)) (sqrt (exp (+ (- 7.0 z) 0.5)))))
1.0b
(sqrt (* PI 2.0))

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
796×times-frac
747×sqrt-prod
702×*-un-lft-identity
658×add-sqr-sqrt
472×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
52×add-exp-log
50×sub-neg
24×div-exp
16×prod-exp add-cbrt-cube
14×pow1 add-log-exp
8×pow-to-exp pow-exp
6×sum-log
4×cbrt-undiv associate-+l- exp-diff sqrt-div frac-add 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 associate-*r/ associate-*l/ pow-sqr *-commutative pow-prod-up
Counts
4 → 596
Calls
4 calls:
203.0ms
(+ 0.9999999999998099 (+ (/ 771.3234287776531 (- 3.0 z)) (/ 676.5203681218851 (- 1.0 z))))
259.0ms
(+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (/ 12.507343278686905 (- 5.0 z))))
1.2s
(* (/ (pow (sqrt (+ (- 7.0 z) 0.5)) (- 0.5 z)) (sqrt (exp (+ (- 7.0 z) 0.5)))) (/ (pow (sqrt (+ (- 7.0 z) 0.5)) (- 0.5 z)) (sqrt (exp (+ (- 7.0 z) 0.5)))))
4.0ms
(sqrt (* PI 2.0))

series736.0ms

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

simplify1.1s

Counts
606 → 606
Iterations

Useful iterations: done (1.0s)

IterNodesCost
061234050
1187130605
done500126675

prune4.3s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

regimes657.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06080
17580
done7580

end0.0ms

sample1.4m

Algorithm
intervals
Results
1.1m3898×body10240exit
4.2s1469×body1280nan
3.7s8091×body80valid
2.3s1247×body640nan
1.5s649×body320nan
197.0ms284×body80nan
191.0ms282×body160nan
0.0ms1×body160valid