Details

Time bar (total: 57.2s)

sample1.6s

Algorithm
intervals
Results
1.3s126×body5120exit
131.0ms61×body1280nan
81.0ms257×body80valid
62.0ms43×body640nan
22.0ms18×body320nan
10.0ms14×body160nan
2.0ms7×body80nan

simplify1.4s

Counts
1 → 1
Iterations

Useful iterations: done (1.4s)

IterNodesCost
060123
1148123
2592121
3358788
done500078

prune18.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 1.3b

Counts
2 → 2

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity
18×add-log-exp
10×add-exp-log
9×sum-log add-cbrt-cube distribute-lft-out
8×frac-add
7×pow1
6×add-sqr-sqrt add-cube-cbrt
5×flip3-+ flip-+
4×times-frac div-exp associate-/r*
3×prod-exp
2×cbrt-undiv +-commutative sqrt-pow1 exp-sum
1×pow-to-exp associate-+r- associate-+l+ associate-+r+ frac-2neg pow1/2 exp-diff pow-prod-down associate-*l/ pow-exp clear-num sqrt-prod associate-/r/ cbrt-unprod div-inv associate-/l/ associate-/l* pow-sub
Counts
4 → 76
Calls
4 calls:
21.0ms
(/ (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (sqrt (* PI 2.0))) (exp (+ 0.5 (- 7.0 z))))
37.0ms
(+ (/ 771.3234287776531 (- 3.0 z)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))))
3.0ms
(sqrt (* PI 2.0))
21.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

series43.0ms

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

simplify771.0ms

Counts
86 → 86
Iterations

Useful iterations: 2 (239.0ms)

IterNodesCost
02932363
18022216
229082054
done50002054

prune424.0ms

Filtered
63 candidates to 86 candidates (-36.5%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New79786
Fresh101
Picked101
Done000
Total81788

Merged error: 0.3b

Counts
88 → 7

localize51.0ms

Local error

Found 4 expressions with local error:

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

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity
18×add-exp-log add-log-exp
13×add-cbrt-cube
9×prod-exp sum-log distribute-lft-out
8×add-sqr-sqrt frac-add
7×add-cube-cbrt div-exp
5×pow1 flip3-+ flip-+
4×times-frac associate-/r*
3×cbrt-undiv sqrt-prod cbrt-unprod
2×+-commutative pow-to-exp exp-sum pow-exp
1×associate-+r- rem-sqrt-square associate-+l+ associate-+r+ frac-2neg sqrt-pow1 pow1/2 exp-diff associate-*l/ clear-num associate-/r/ div-inv associate-/l/ associate-/l* pow-sub
Counts
4 → 82
Calls
4 calls:
22.0ms
(/ (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (* (sqrt PI) (sqrt 2.0))) (exp (+ 0.5 (- 7.0 z))))
32.0ms
(+ (/ 771.3234287776531 (- 3.0 z)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))))
2.0ms
(sqrt PI)
23.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

series45.0ms

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

simplify814.0ms

Counts
92 → 92
Iterations

Useful iterations: 2 (246.0ms)

IterNodesCost
02832453
18182279
230812099
done50002099

prune385.0ms

Filtered
64 candidates to 92 candidates (-43.8%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New87592
Fresh426
Picked101
Done000
Total92799

Merged error: 0.1b

Counts
99 → 7

localize61.0ms

Local error

Found 4 expressions with local error:

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

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
21×associate-*l/
20×flip3-- flip--
18×add-exp-log
17×frac-add
13×add-cbrt-cube
9×*-un-lft-identity prod-exp
8×add-sqr-sqrt frac-times add-log-exp
7×add-cube-cbrt div-exp
5×pow1
4×associate-+l+ times-frac associate-*r/ associate-/r*
3×cbrt-undiv sqrt-prod cbrt-unprod
2×+-commutative distribute-rgt-in pow-to-exp sub-neg distribute-lft-in flip3-+ exp-sum pow-exp sum-log flip-+
1×associate-+r- rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 exp-diff clear-num associate-/r/ div-inv associate-/l/ distribute-lft-out associate-/l* pow-sub
Counts
4 → 88
Calls
4 calls:
22.0ms
(/ (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (* (sqrt PI) (sqrt 2.0))) (exp (+ 0.5 (- 7.0 z))))
29.0ms
(+ (/ 771.3234287776531 (- 3.0 z)) (/ (+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))) (- 2.0 z)) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) -1259.1392167224028)) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- 2.0 z))))
2.0ms
(sqrt PI)
13.0ms
(+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))) (- 2.0 z)) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) -1259.1392167224028))

series69.0ms

Counts
4 → 10
Calls
4 calls:
30.0ms
(/ (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (* (sqrt PI) (sqrt 2.0))) (exp (+ 0.5 (- 7.0 z))))
30.0ms
(+ (/ 771.3234287776531 (- 3.0 z)) (/ (+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))) (- 2.0 z)) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) -1259.1392167224028)) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (- 2.0 z))))
0.0ms
(sqrt PI)
8.0ms
(+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))) (- 2.0 z)) (* (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) -1259.1392167224028))

simplify387.0ms

Counts
98 → 98
Iterations

Useful iterations: done (379.0ms)

IterNodesCost
03725063
112924560
done50004451

prune727.0ms

Filtered
77 candidates to 98 candidates (-27.3%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New97198
Fresh156
Picked011
Done000
Total987105

Merged error: 0.1b

Counts
105 → 7

localize53.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ (/ 771.3234287776531 (- 3.0 z)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))))
1.0b
(/ (* (sqrt PI) (sqrt 2.0)) (exp (+ 0.5 (- 7.0 z))))
1.0b
(sqrt PI)
2.6b
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity
18×add-log-exp
9×sum-log add-cbrt-cube distribute-lft-out
8×add-sqr-sqrt frac-add
7×add-exp-log add-cube-cbrt
5×pow1 flip3-+ flip-+
4×times-frac associate-/r*
3×sqrt-prod
2×cbrt-undiv +-commutative div-exp exp-sum
1×associate-+r- rem-sqrt-square associate-+l+ associate-+r+ frac-2neg sqrt-pow1 pow1/2 exp-diff prod-exp clear-num associate-/r/ cbrt-unprod div-inv associate-/l*
Counts
4 → 75
Calls
4 calls:
31.0ms
(+ (/ 771.3234287776531 (- 3.0 z)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))))
14.0ms
(/ (* (sqrt PI) (sqrt 2.0)) (exp (+ 0.5 (- 7.0 z))))
2.0ms
(sqrt PI)
23.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

series26.0ms

Counts
4 → 10
Calls
4 calls:
10.0ms
(+ (/ 771.3234287776531 (- 3.0 z)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))))
12.0ms
(/ (* (sqrt PI) (sqrt 2.0)) (exp (+ 0.5 (- 7.0 z))))
0.0ms
(sqrt PI)
5.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

simplify714.0ms

Counts
85 → 85
Iterations

Useful iterations: 2 (182.0ms)

IterNodesCost
02471904
16521770
222581661
done50011661

prune359.0ms

Filtered
63 candidates to 85 candidates (-34.9%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New83285
Fresh145
Picked011
Done011
Total84892

Merged error: 0.1b

Counts
92 → 8

regimes105.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
064107
178107
done78107

end0.0ms

sample48.8s

Algorithm
intervals
Results
39.9s3930×body5120exit
3.1s1509×body1280nan
2.6s8095×body80valid
1.8s1210×body640nan
669.0ms622×body320nan
211.0ms306×body160nan
87.0ms285×body80nan

Profiling

Loading profile data...