Details

Time bar (total: 4.1m)

sample3.9s

Algorithm
intervals
Results
2.9s149×body10240exit
549.0ms257×body80valid
169.0ms48×body1280nan
122.0ms47×body640nan
41.0ms19×body320nan
10.0ms8×body160nan
5.0ms7×body80nan

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
33482
2615
1154
060

prune52.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize146.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (* 2 PI)) (/ PI (sin (* PI z))))
1.0b
(/ (pow (+ (- 7 z) 0.5) (- (- 1 z) (- 1 0.5))) (exp (+ (- 7 z) 0.5)))
1.0b
(+ (/ 9.984369578019572e-06 (- 7 z)) (/ -0.13857109526572012 (- 6 z)))
1.0b
(sqrt (* 2 PI))

rewrite275.0ms

Algorithm
rewrite-expression-head
Rules
414×*-un-lft-identity
372×add-sqr-sqrt
269×times-frac
250×unpow-prod-up
225×prod-diff
181×add-cube-cbrt
123×difference-of-squares
72×distribute-lft-out--
60×exp-sum
59×associate-/l*
55×associate--l+
25×unpow-prod-down
21×fma-def
15×distribute-lft-out
13×associate-*r*
11×add-cbrt-cube add-exp-log
10×sub-neg
9×pow1
6×add-log-exp
5×associate--r- sqr-pow
4×expm1-log1p-u associate-/r* div-exp associate-*l* insert-posit16 log1p-expm1-u
3×associate-/r/ div-inv
2×cbrt-undiv sqrt-pow1 pow-prod-down prod-exp sqrt-prod cbrt-unprod unswap-sqr
1×pow-to-exp +-commutative clear-num sum-log frac-2neg flip3-+ flip3-- pow1/2 exp-diff frac-add pow-exp associate-*r/ *-commutative associate-+l- flip-+ flip-- pow-sub associate-/l/
Counts
4 → 409
Calls
4 calls:
33.0ms
(* (sqrt (* 2 PI)) (/ PI (sin (* PI z))))
186.0ms
(/ (pow (+ (- 7 z) 0.5) (- (- 1 z) (- 1 0.5))) (exp (+ (- 7 z) 0.5)))
35.0ms
(+ (/ 9.984369578019572e-06 (- 7 z)) (/ -0.13857109526572012 (- 6 z)))
10.0ms
(sqrt (* 2 PI))

series504.0ms

Counts
4 → 10
Calls
4 calls:
222.0ms
(* (sqrt (* 2 PI)) (/ PI (sin (* PI z))))
213.0ms
(/ (pow (+ (- 7 z) 0.5) (- (- 1 z) (- 1 0.5))) (exp (+ (- 7 z) 0.5)))
69.0ms
(+ (/ 9.984369578019572e-06 (- 7 z)) (/ -0.13857109526572012 (- 6 z)))
0.0ms
(sqrt (* 2 PI))

simplify2.4s

Counts
419 → 419
Iterations
IterNodes
24101
11491
0696

prune7.0s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize211.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* (* (sqrt (* 2 PI)) (/ PI (sin (* PI z)))) (* (/ (pow (+ (- 7 z) 0.5) (/ (- (- 1 z) (- 1 0.5)) 2)) 1) (/ (pow (+ (- 7 z) 0.5) (/ (- (- 1 z) (- 1 0.5)) 2)) (exp (+ (- 7 z) 0.5))))) (+ (+ (/ 9.984369578019572e-06 (- 7 z)) (/ -0.13857109526572012 (- 6 z))) (+ (+ (/ 1.5056327351493116e-07 (- 8 z)) (+ (+ (/ -176.6150291621406 (- 4 z)) 0.9999999999998099) (+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))))) (/ 12.507343278686905 (- 5 z)))))
0.5b
(* (sqrt (* 2 PI)) (/ PI (sin (* PI z))))
1.0b
(+ (/ 9.984369578019572e-06 (- 7 z)) (/ -0.13857109526572012 (- 6 z)))
1.0b
(sqrt (* 2 PI))

rewrite1.1m

Algorithm
rewrite-expression-head
Rules
1569×frac-add
605×frac-times
510×associate-*r/
434×add-exp-log
425×flip3-+ flip-+
319×prod-exp
165×div-exp
160×associate-*l/
155×*-un-lft-identity
95×add-cbrt-cube
92×distribute-lft-out
55×cbrt-unprod
45×pow-to-exp pow-exp
36×1-exp
34×associate-*r*
33×add-sqr-sqrt times-frac
27×pow1
22×add-cube-cbrt
21×fma-def
18×cbrt-undiv
15×pow-prod-down
7×distribute-lft-out--
6×add-log-exp
5×associate-*l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×difference-of-squares
2×sqrt-pow1 associate-/r/ *-commutative sqrt-prod div-inv unswap-sqr
1×distribute-rgt-in +-commutative sum-log distribute-lft-in flip3-- pow1/2 flip--
Counts
4 → 642
Calls
4 calls:
1.1m
(* (* (* (sqrt (* 2 PI)) (/ PI (sin (* PI z)))) (* (/ (pow (+ (- 7 z) 0.5) (/ (- (- 1 z) (- 1 0.5)) 2)) 1) (/ (pow (+ (- 7 z) 0.5) (/ (- (- 1 z) (- 1 0.5)) 2)) (exp (+ (- 7 z) 0.5))))) (+ (+ (/ 9.984369578019572e-06 (- 7 z)) (/ -0.13857109526572012 (- 6 z))) (+ (+ (/ 1.5056327351493116e-07 (- 8 z)) (+ (+ (/ -176.6150291621406 (- 4 z)) 0.9999999999998099) (+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))))) (/ 12.507343278686905 (- 5 z)))))
31.0ms
(* (sqrt (* 2 PI)) (/ PI (sin (* PI z))))
67.0ms
(+ (/ 9.984369578019572e-06 (- 7 z)) (/ -0.13857109526572012 (- 6 z)))
4.0ms
(sqrt (* 2 PI))

series1.5s

Counts
4 → 10
Calls
4 calls:
1.1s
(* (* (* (sqrt (* 2 PI)) (/ PI (sin (* PI z)))) (* (/ (pow (+ (- 7 z) 0.5) (/ (- (- 1 z) (- 1 0.5)) 2)) 1) (/ (pow (+ (- 7 z) 0.5) (/ (- (- 1 z) (- 1 0.5)) 2)) (exp (+ (- 7 z) 0.5))))) (+ (+ (/ 9.984369578019572e-06 (- 7 z)) (/ -0.13857109526572012 (- 6 z))) (+ (+ (/ 1.5056327351493116e-07 (- 8 z)) (+ (+ (/ -176.6150291621406 (- 4 z)) 0.9999999999998099) (+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))))) (/ 12.507343278686905 (- 5 z)))))
227.0ms
(* (sqrt (* 2 PI)) (/ PI (sin (* PI z))))
89.0ms
(+ (/ 9.984369578019572e-06 (- 7 z)) (/ -0.13857109526572012 (- 6 z)))
0.0ms
(sqrt (* 2 PI))

simplify23.5s

Counts
652 → 652
Iterations
IterNodes
18295
01681

prune13.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize294.0ms

Local error

Found 4 expressions with local error:

1.0b
(pow (+ (/ 1.5056327351493116e-07 (- 8 z)) (+ (+ (/ -176.6150291621406 (- 4 z)) 0.9999999999998099) (+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))))) 3)
1.0b
(sqrt (* 2 PI))
1.0b
(* (sqrt (* 2 PI)) PI)
1.6b
(pow (/ 12.507343278686905 (- 5 z)) 3)

rewrite3.3s

Algorithm
rewrite-expression-head
Rules
98×*-un-lft-identity
44×distribute-lft-out
42×add-sqr-sqrt
31×unpow-prod-down cube-prod
30×times-frac frac-add
28×add-cube-cbrt
15×cube-div
11×pow1 flip3-+ flip-+
10×add-cbrt-cube add-exp-log
6×pow-unpow distribute-lft-out-- difference-of-squares
4×expm1-log1p-u associate-*l* associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r* pow-exp rem-cube-cbrt
2×cube-mult pow-to-exp pow-pow sqrt-pow1 flip3-- unpow3 pow-prod-down sqrt-prod div-inv flip-- sqr-pow
1×cbrt-undiv pow1/2 div-exp prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 155
Calls
4 calls:
3.3s
(pow (+ (/ 1.5056327351493116e-07 (- 8 z)) (+ (+ (/ -176.6150291621406 (- 4 z)) 0.9999999999998099) (+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))))) 3)
7.0ms
(sqrt (* 2 PI))
27.0ms
(* (sqrt (* 2 PI)) PI)
8.0ms
(pow (/ 12.507343278686905 (- 5 z)) 3)

series278.0ms

Counts
4 → 8
Calls
4 calls:
189.0ms
(pow (+ (/ 1.5056327351493116e-07 (- 8 z)) (+ (+ (/ -176.6150291621406 (- 4 z)) 0.9999999999998099) (+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))))) 3)
0.0ms
(sqrt (* 2 PI))
0.0ms
(* (sqrt (* 2 PI)) PI)
89.0ms
(pow (/ 12.507343278686905 (- 5 z)) 3)

simplify16.7s

Counts
163 → 163
Iterations
IterNodes
28132
11710
0457

prune3.3s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize376.0ms

Local error

Found 4 expressions with local error:

1.0b
(- (/ 771.3234287776531 (+ 2 (- 1 z))) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z))))
1.0b
(* (- (/ -176.6150291621406 (- 4 z)) 0.9999999999998099) (- (* (/ 771.3234287776531 (+ 2 (- 1 z))) (/ 771.3234287776531 (+ 2 (- 1 z)))) (* (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z))) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z))))))
1.0b
(sqrt (* 2 PI))
1.0b
(* (sqrt (* 2 PI)) PI)

rewrite623.0ms

Algorithm
rewrite-expression-head
Rules
810×*-un-lft-identity
341×times-frac
220×frac-times
180×distribute-lft-out
170×prod-diff
142×distribute-lft-out--
138×frac-sub
124×add-sqr-sqrt
119×associate-*r/
110×add-cube-cbrt
82×flip3-+ flip-+
74×associate-*l/
73×frac-add
52×flip3-- flip--
21×fma-neg
18×associate-/r/
11×pow1
10×associate-*l*
9×div-inv add-log-exp
8×add-cbrt-cube add-exp-log
7×associate-*r*
5×difference-of-squares
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×distribute-rgt-in sub-neg distribute-lft-in pow-prod-down
2×sqrt-pow1 diff-log prod-exp *-commutative sqrt-prod cbrt-unprod unswap-sqr
1×sum-log pow1/2 associate--r+
Counts
4 → 435
Calls
4 calls:
260.0ms
(- (/ 771.3234287776531 (+ 2 (- 1 z))) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z))))
307.0ms
(* (- (/ -176.6150291621406 (- 4 z)) 0.9999999999998099) (- (* (/ 771.3234287776531 (+ 2 (- 1 z))) (/ 771.3234287776531 (+ 2 (- 1 z)))) (* (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z))) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z))))))
5.0ms
(sqrt (* 2 PI))
20.0ms
(* (sqrt (* 2 PI)) PI)

series363.0ms

Counts
4 → 8
Calls
4 calls:
132.0ms
(- (/ 771.3234287776531 (+ 2 (- 1 z))) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z))))
231.0ms
(* (- (/ -176.6150291621406 (- 4 z)) 0.9999999999998099) (- (* (/ 771.3234287776531 (+ 2 (- 1 z))) (/ 771.3234287776531 (+ 2 (- 1 z)))) (* (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z))) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z))))))
0.0ms
(sqrt (* 2 PI))
0.0ms
(* (sqrt (* 2 PI)) PI)

simplify2.3s

Counts
443 → 443
Iterations
IterNodes
12112
0748

prune10.7s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

regimes263.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify42.0ms

Iterations
IterNodes
299
199
073

end0.0ms

sample1.5m

Algorithm
intervals
Results
1.2m3977×body10240exit
6.7s8096×body80valid
5.9s1535×body1280nan
3.4s1231×body640nan
1.3s646×body320nan
439.0ms315×body160nan
220.0ms298×body80nan
1.0ms1×body160valid