Details

Time bar (total: 3.6m)

sample1.5s

Algorithm
intervals
Results
464.0ms127×body10240exit
300.0ms108×body1280valid
210.0ms84×body640valid
150.0ms55×body1280nan
123.0ms49×body640nan
50.0ms37×body320valid
40.0ms31×body320nan
22.0ms25×body160valid
6.0ms7×body160nan
3.0ms7×body80nan
2.0ms5×body80valid

simplify800.0ms

Counts
1 → 1
Iterations
IterNodes
32125
2412
1139
055

prune32.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize113.0ms

Local error

Found 4 expressions with local error:

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

rewrite18.5s

Algorithm
rewrite-expression-head
Rules
444×frac-add
157×*-un-lft-identity
152×flip3-+ flip-+
117×distribute-lft-out
68×frac-times associate-*r/
32×associate-*r*
27×add-exp-log
20×add-cbrt-cube
19×add-sqr-sqrt associate-*l*
14×prod-exp
12×add-cube-cbrt
9×pow1
8×times-frac div-exp
6×unpow-prod-down cbrt-unprod
4×expm1-log1p-u cbrt-undiv associate-/r* associate-+l- insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×pow-to-exp exp-sum associate-*l/ pow-exp
2×sqrt-pow1 exp-diff pow-prod-down associate-/r/ *-commutative sqrt-prod div-inv pow-sub sqr-pow
1×distribute-rgt-in unpow-prod-up clear-num frac-2neg distribute-lft-in pow1/2 associate-/l* distribute-lft-out-- associate-/l/
Counts
4 → 274
Calls
4 calls:
18.1s
(* (/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (- z -6) 0.5))) (+ (+ (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))) (+ (/ -0.13857109526572012 (+ -1 (- z -6))) (/ 12.507343278686905 (+ z 4)))) (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z)))) (/ -1259.1392167224028 (- z -1))) (/ -176.6150291621406 (+ z 3)))))
218.0ms
(/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (- z -6) 0.5)))
168.0ms
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
7.0ms
(sqrt (* PI 2))

series2.3s

Counts
4 → 10
Calls
4 calls:
1.2s
(* (/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (- z -6) 0.5))) (+ (+ (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))) (+ (/ -0.13857109526572012 (+ -1 (- z -6))) (/ 12.507343278686905 (+ z 4)))) (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z)))) (/ -1259.1392167224028 (- z -1))) (/ -176.6150291621406 (+ z 3)))))
598.0ms
(/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (- z -6) 0.5)))
448.0ms
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))

simplify7.2s

Counts
284 → 284
Iterations
IterNodes
14671
0939

prune6.0s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize135.0ms

Local error

Found 4 expressions with local error:

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

rewrite16.2s

Algorithm
rewrite-expression-head
Rules
888×frac-add
304×flip3-+ flip-+
274×frac-times
249×*-un-lft-identity
158×times-frac
142×add-sqr-sqrt
138×associate-*r/
129×distribute-lft-out
108×sqrt-prod
76×associate-*l*
74×add-cube-cbrt
73×associate-*l/
64×add-exp-log
61×associate-*r*
41×unpow-prod-down
36×add-cbrt-cube
25×prod-exp
21×div-exp unswap-sqr
19×exp-sum
14×pow1
13×cbrt-unprod sqr-pow
9×cbrt-undiv
7×unpow-prod-up associate-/r* distribute-lft-out--
5×pow-prod-down
4×expm1-log1p-u pow-to-exp pow-exp insert-posit16 log1p-expm1-u associate-/l* add-log-exp
3×exp-diff sqrt-div associate-/r/ associate-+l- div-inv
2×sqrt-pow1 *-commutative
1×distribute-rgt-in sqrt-undiv clear-num frac-2neg distribute-lft-in pow1/2
Counts
4 → 559
Calls
4 calls:
128.0ms
(/ (sqrt (* PI 2)) (sqrt (exp (+ (- z -6) 0.5))))
15.3s
(* (* (/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (exp (+ (- z -6) 0.5)))) (/ (sqrt (* PI 2)) (sqrt (exp (+ (- z -6) 0.5))))) (+ (+ (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))) (+ (/ -0.13857109526572012 (+ -1 (- z -6))) (/ 12.507343278686905 (+ z 4)))) (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z)))) (/ -1259.1392167224028 (- z -1))) (/ -176.6150291621406 (+ z 3)))))
748.0ms
(* (/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (exp (+ (- z -6) 0.5)))) (/ (sqrt (* PI 2)) (sqrt (exp (+ (- z -6) 0.5)))))
4.0ms
(sqrt (* PI 2))

series1.7s

Counts
4 → 10
Calls
4 calls:
140.0ms
(/ (sqrt (* PI 2)) (sqrt (exp (+ (- z -6) 0.5))))
981.0ms
(* (* (/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (exp (+ (- z -6) 0.5)))) (/ (sqrt (* PI 2)) (sqrt (exp (+ (- z -6) 0.5))))) (+ (+ (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))) (+ (/ -0.13857109526572012 (+ -1 (- z -6))) (/ 12.507343278686905 (+ z 4)))) (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z)))) (/ -1259.1392167224028 (- z -1))) (/ -176.6150291621406 (+ z 3)))))
623.0ms
(* (/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (exp (+ (- z -6) 0.5)))) (/ (sqrt (* PI 2)) (sqrt (exp (+ (- z -6) 0.5)))))
0.0ms
(sqrt (* PI 2))

simplify11.2s

Counts
569 → 569
Iterations
IterNodes
16693
01288

prune12.3s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize163.0ms

Local error

Found 4 expressions with local error:

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

rewrite19.9s

Algorithm
rewrite-expression-head
Rules
888×frac-add
304×flip3-+ flip-+
153×*-un-lft-identity
143×associate-+l-
142×associate-*l/
139×pow-sub
137×frac-times associate-*r/ associate-/l/
117×distribute-lft-out
56×add-exp-log
32×add-cbrt-cube associate-*r*
29×prod-exp
13×add-sqr-sqrt cbrt-unprod
11×associate-*l*
10×div-exp
9×pow1
8×add-cube-cbrt
6×cbrt-undiv unpow-prod-down
4×expm1-log1p-u pow-to-exp exp-diff sqrt-div pow-exp insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r/ unswap-sqr
2×sqrt-pow1 pow-prod-down *-commutative sqrt-prod sqr-pow
1×distribute-rgt-in unpow-prod-up clear-num associate-/r* frac-2neg distribute-lft-in times-frac pow1/2 div-inv associate-/l* distribute-lft-out--
Counts
4 → 405
Calls
4 calls:
13.5s
(* (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (+ (+ (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))) (+ (/ -0.13857109526572012 (+ -1 (- z -6))) (/ 12.507343278686905 (+ z 4)))) (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z)))) (/ -1259.1392167224028 (- z -1))) (/ -176.6150291621406 (+ z 3)))))
6.2s
(/ (* (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (+ (+ (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))) (+ (/ -0.13857109526572012 (+ -1 (- z -6))) (/ 12.507343278686905 (+ z 4)))) (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z)))) (/ -1259.1392167224028 (- z -1))) (/ -176.6150291621406 (+ z 3))))) (* (sqrt (exp (+ (- z -6) 0.5))) (sqrt (exp (+ (- z -6) 0.5)))))
186.0ms
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
4.0ms
(sqrt (* PI 2))

series1.9s

Counts
4 → 10
Calls
4 calls:
697.0ms
(* (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (+ (+ (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))) (+ (/ -0.13857109526572012 (+ -1 (- z -6))) (/ 12.507343278686905 (+ z 4)))) (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z)))) (/ -1259.1392167224028 (- z -1))) (/ -176.6150291621406 (+ z 3)))))
773.0ms
(/ (* (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (+ (+ (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))) (+ (/ -0.13857109526572012 (+ -1 (- z -6))) (/ 12.507343278686905 (+ z 4)))) (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z)))) (/ -1259.1392167224028 (- z -1))) (/ -176.6150291621406 (+ z 3))))) (* (sqrt (exp (+ (- z -6) 0.5))) (sqrt (exp (+ (- z -6) 0.5)))))
403.0ms
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))

simplify7.9s

Counts
415 → 415
Iterations
IterNodes
15455
01088

prune10.2s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize204.0ms

Local error

Found 4 expressions with local error:

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

rewrite40.3s

Algorithm
rewrite-expression-head
Rules
2245×*-un-lft-identity
1727×distribute-lft-out
401×times-frac
235×sqrt-prod
222×frac-add
205×associate-*r*
153×add-sqr-sqrt
140×add-cube-cbrt
76×flip3-+ flip-+
68×associate-/l/
58×exp-sum
48×add-exp-log
29×add-cbrt-cube
28×associate-/l*
22×associate-*l*
19×prod-exp
14×div-exp
9×pow1 cbrt-unprod
8×cbrt-undiv
7×associate-/r*
6×unpow-prod-down unswap-sqr
4×expm1-log1p-u associate-+l- insert-posit16 log1p-expm1-u add-log-exp
3×pow-to-exp exp-diff sqrt-div pow-exp associate-/r/ div-inv
2×sqrt-pow1 pow-prod-down associate-*l/ *-commutative sqr-pow
1×frac-times unpow-prod-up clear-num frac-2neg pow1/2 associate-*r/ distribute-lft-out-- pow-sub
Counts
4 → 609
Calls
4 calls:
18.4s
(* (/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (sqrt (exp (+ (- z -6) 0.5)))) (/ (+ (+ (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))) (+ (/ -0.13857109526572012 (+ -1 (- z -6))) (/ 12.507343278686905 (+ z 4)))) (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z)))) (/ -1259.1392167224028 (- z -1))) (/ -176.6150291621406 (+ z 3)))) (sqrt (exp (+ (- z -6) 0.5)))))
21.7s
(/ (+ (+ (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))) (+ (/ -0.13857109526572012 (+ -1 (- z -6))) (/ 12.507343278686905 (+ z 4)))) (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z)))) (/ -1259.1392167224028 (- z -1))) (/ -176.6150291621406 (+ z 3)))) (sqrt (exp (+ (- z -6) 0.5))))
188.0ms
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
4.0ms
(sqrt (* PI 2))

series1.6s

Counts
4 → 10
Calls
4 calls:
867.0ms
(* (/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (sqrt (exp (+ (- z -6) 0.5)))) (/ (+ (+ (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))) (+ (/ -0.13857109526572012 (+ -1 (- z -6))) (/ 12.507343278686905 (+ z 4)))) (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z)))) (/ -1259.1392167224028 (- z -1))) (/ -176.6150291621406 (+ z 3)))) (sqrt (exp (+ (- z -6) 0.5)))))
315.0ms
(/ (+ (+ (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))) (+ (/ -0.13857109526572012 (+ -1 (- z -6))) (/ 12.507343278686905 (+ z 4)))) (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z)))) (/ -1259.1392167224028 (- z -1))) (/ -176.6150291621406 (+ z 3)))) (sqrt (exp (+ (- z -6) 0.5))))
443.0ms
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))

simplify2.0s

Counts
619 → 619
Iterations
IterNodes
12077
0601

prune4.8s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes99.0ms

Accuracy

0% (1.1b remaining)

Error of 1.3b against oracle of 0.2b and baseline of 1.3b

bsearch0.0ms

simplify15.0ms

Iterations
IterNodes
241
141
032

end0.0ms

sample49.8s

Algorithm
intervals
Results
19.3s3935×body10240exit
11.3s3277×body1280valid
6.8s2566×body640valid
4.4s1481×body1280nan
3.0s1318×body640nan
2.0s1249×body320valid
1.3s632×body320nan
713.0ms668×body160valid
353.0ms327×body160nan
149.0ms335×body80valid
141.0ms329×body80nan