Details

Time bar (total: 5.8m)

sample3.8s

Algorithm
intervals
Results
2.6s149×body10240exit
662.0ms57×body1280nan
178.0ms259×body80valid
108.0ms46×body640nan
35.0ms20×body320nan
11.0ms9×body160nan
6.0ms11×body80nan

simplify2.3s

Counts
1 → 1
Iterations
IterNodes
33482
2615
1154
060

prune90.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.6b

localize215.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* (* (sqrt (* 2 PI)) (/ PI (sin (* PI z)))) (/ (pow (+ (- 7 z) 0.5) (- (- 1 z) (- 1 0.5))) (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.9b
(+ (/ 9.984369578019572e-06 (- 7 z)) (/ -0.13857109526572012 (- 6 z)))
0.9b
(/ (pow (+ (- 7 z) 0.5) (- (- 1 z) (- 1 0.5))) (exp (+ (- 7 z) 0.5)))
1.0b
(sqrt (* 2 PI))

rewrite1.0m

Algorithm
rewrite-expression-head
Rules
785×frac-add
512×*-un-lft-identity
360×add-sqr-sqrt
259×times-frac
250×unpow-prod-up
225×prod-diff
213×flip3-+ flip-+
203×associate-*r/
201×frac-times
174×add-cube-cbrt
123×difference-of-squares
102×distribute-lft-out
72×distribute-lft-out--
60×exp-sum
59×associate-/l*
55×associate--l+
54×associate-*l/
53×add-exp-log
35×add-cbrt-cube
33×prod-exp
25×unpow-prod-down
21×fma-def associate-*r*
17×cbrt-unprod
16×pow1 div-exp
10×sub-neg
7×pow-prod-down
6×cbrt-undiv add-log-exp
5×associate--r- sqr-pow
4×expm1-log1p-u pow-to-exp associate-/r* pow-exp insert-posit16 log1p-expm1-u
3×associate-/r/
2×sqrt-pow1 div-inv
1×distribute-rgt-in +-commutative clear-num sum-log frac-2neg distribute-lft-in flip3-- pow1/2 exp-diff associate-*l* *-commutative associate-+l- sqrt-prod flip-- pow-sub associate-/l/
Counts
4 → 634
Calls
4 calls:
59.9s
(* (* (* (sqrt (* 2 PI)) (/ PI (sin (* PI z)))) (/ (pow (+ (- 7 z) 0.5) (- (- 1 z) (- 1 0.5))) (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)))))
47.0ms
(+ (/ 9.984369578019572e-06 (- 7 z)) (/ -0.13857109526572012 (- 6 z)))
211.0ms
(/ (pow (+ (- 7 z) 0.5) (- (- 1 z) (- 1 0.5))) (exp (+ (- 7 z) 0.5)))
4.0ms
(sqrt (* 2 PI))

series1.4s

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))) (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)))))
86.0ms
(+ (/ 9.984369578019572e-06 (- 7 z)) (/ -0.13857109526572012 (- 6 z)))
198.0ms
(/ (pow (+ (- 7 z) 0.5) (- (- 1 z) (- 1 0.5))) (exp (+ (- 7 z) 0.5)))
0.0ms
(sqrt (* 2 PI))

simplify13.8s

Counts
644 → 644
Iterations
IterNodes
16281
01551

prune33.6s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize337.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))) (+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))))
1.0b
(pow (/ -0.13857109526572012 (- 6 z)) 3)
1.0b
(sqrt (* 2 PI))
1.0b
(* (sqrt (* 2 PI)) PI)

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
2581×*-un-lft-identity
966×times-frac
856×distribute-lft-out
422×distribute-lft-out--
155×swap-sqr
48×frac-add
45×add-sqr-sqrt
29×add-cube-cbrt
25×frac-times
24×flip3-+ flip-+
21×unpow-prod-down cube-prod associate-*l*
20×associate-*r*
17×pow1
11×add-cbrt-cube add-exp-log
6×difference-of-squares
5×associate-*l/ associate-*r/
4×expm1-log1p-u associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
3×pow-unpow pow-prod-down
2×sqrt-pow1 flip3-- pow-exp prod-exp *-commutative sqrt-prod cbrt-unprod div-inv flip-- rem-cube-cbrt unswap-sqr
1×cube-div pow2 distribute-rgt-in cube-mult pow-to-exp cbrt-undiv pow-pow distribute-lft-in pow-plus pow1/2 unpow3 div-exp pow-sqr pow-prod-up sqr-pow
Counts
4 → 346
Calls
4 calls:
1.5s
(* (+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))) (+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))))
8.0ms
(pow (/ -0.13857109526572012 (- 6 z)) 3)
4.0ms
(sqrt (* 2 PI))
16.0ms
(* (sqrt (* 2 PI)) PI)

series261.0ms

Counts
4 → 8
Calls
4 calls:
170.0ms
(* (+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))) (+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))))
91.0ms
(pow (/ -0.13857109526572012 (- 6 z)) 3)
0.0ms
(sqrt (* 2 PI))
0.0ms
(* (sqrt (* 2 PI)) PI)

simplify5.7s

Counts
354 → 354
Iterations
IterNodes
26183
11368
0385

prune21.9s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize227.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
1360×*-un-lft-identity
1296×add-sqr-sqrt
1098×times-frac
945×unpow-prod-up
900×prod-diff
772×add-cube-cbrt
617×sqrt-prod
509×associate-*r*
303×difference-of-squares
270×distribute-lft-neg-in distribute-rgt-neg-in
179×distribute-lft-out--
150×exp-sum
90×neg-mul-1
81×unpow-prod-down
72×associate-/l*
49×distribute-lft-out
40×associate-*l*
33×add-exp-log
21×fma-def unswap-sqr sqr-pow
18×add-cbrt-cube
15×sub-neg associate--r-
13×div-exp
9×pow1
8×prod-exp
7×associate-/r*
6×add-log-exp
5×cbrt-undiv associate-/r/
4×expm1-log1p-u cbrt-unprod insert-posit16 log1p-expm1-u div-inv
3×pow-to-exp exp-diff sqrt-div pow-exp associate-+l-
2×sqrt-pow1 pow-prod-down
1×frac-times +-commutative clear-num sum-log frac-2neg flip3-+ flip3-- pow1/2 associate-*l/ frac-add associate-*r/ *-commutative flip-+ flip-- pow-sub associate-/l/
Counts
4 → 1254
Calls
4 calls:
60.0ms
(+ (/ 9.984369578019572e-06 (- 7 z)) (/ -0.13857109526572012 (- 6 z)))
212.0ms
(/ (pow (+ (- 7 z) 0.5) (- (- z) (- 1 0.5))) (sqrt (exp (+ (- 7 z) 0.5))))
738.0ms
(* (/ (+ (- 7 z) 0.5) (sqrt (exp (+ (- 7 z) 0.5)))) (/ (pow (+ (- 7 z) 0.5) (- (- z) (- 1 0.5))) (sqrt (exp (+ (- 7 z) 0.5)))))
6.0ms
(sqrt (* 2 PI))

series777.0ms

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

simplify3.9s

Counts
1264 → 1264
Iterations
IterNodes
13641
01213

prune59.0s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

localize139.0ms

Local error

Found 4 expressions with local error:

0.9b
(/ (pow (+ (- 7 z) 0.5) (- (- z) (- 1 0.5))) (sqrt (exp (+ (- 7 z) 0.5))))
0.9b
(/ (pow (+ (- 7 z) 0.5) (- (- z) (- 1 0.5))) (sqrt (exp (+ (- 7 z) 0.5))))
0.9b
(/ (pow (+ (- 7 z) 0.5) (- (- z) (- 1 0.5))) (sqrt (exp (+ (- 7 z) 0.5))))
1.0b
(sqrt (* 2 PI))

rewrite477.0ms

Algorithm
rewrite-expression-head
Rules
2002×*-un-lft-identity
1882×add-sqr-sqrt
1512×unpow-prod-up times-frac
1440×prod-diff
1162×add-cube-cbrt
877×sqrt-prod
480×difference-of-squares
432×distribute-lft-neg-in distribute-rgt-neg-in
264×distribute-lft-out--
219×exp-sum
216×associate-/l*
144×neg-mul-1
120×unpow-prod-down
48×distribute-lft-out
24×sub-neg associate--r- sqr-pow
21×associate-/r*
19×add-exp-log
10×add-cbrt-cube
9×div-exp
7×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-to-exp cbrt-undiv clear-num frac-2neg exp-diff sqrt-div pow-exp associate-/r/ associate-+l- div-inv pow-sub associate-/l/
2×sqrt-pow1
1×pow1/2 pow-prod-down
Counts
4 → 1820
Calls
4 calls:
129.0ms
(/ (pow (+ (- 7 z) 0.5) (- (- z) (- 1 0.5))) (sqrt (exp (+ (- 7 z) 0.5))))
129.0ms
(/ (pow (+ (- 7 z) 0.5) (- (- z) (- 1 0.5))) (sqrt (exp (+ (- 7 z) 0.5))))
133.0ms
(/ (pow (+ (- 7 z) 0.5) (- (- z) (- 1 0.5))) (sqrt (exp (+ (- 7 z) 0.5))))
4.0ms
(sqrt (* 2 PI))

series694.0ms

Counts
4 → 10
Calls
4 calls:
229.0ms
(/ (pow (+ (- 7 z) 0.5) (- (- z) (- 1 0.5))) (sqrt (exp (+ (- 7 z) 0.5))))
228.0ms
(/ (pow (+ (- 7 z) 0.5) (- (- z) (- 1 0.5))) (sqrt (exp (+ (- 7 z) 0.5))))
238.0ms
(/ (pow (+ (- 7 z) 0.5) (- (- z) (- 1 0.5))) (sqrt (exp (+ (- 7 z) 0.5))))
0.0ms
(sqrt (* 2 PI))

simplify2.6s

Counts
1830 → 1830
Iterations
IterNodes
22533
11202
0681

prune1.2m

Pruning

7 alts after pruning (3 fresh and 4 done)

Merged error: 0b

regimes138.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify35.0ms

Iterations
IterNodes
2102
1102
076

end0.0ms

sample1.0m

Algorithm
intervals
Results
47.9s3823×body10240exit
4.6s1525×body1280nan
3.9s8075×body80valid
3.5s1291×body640nan
891.0ms589×body320nan
258.0ms284×body160nan
127.0ms288×body80nan