Details

Time bar (total: 9.0m)

sample1.1s

Algorithm
intervals
Results
400.0ms131×body10240exit
293.0ms110×body1280valid
115.0ms80×body640valid
69.0ms51×body1280nan
43.0ms41×body640nan
35.0ms37×body320valid
25.0ms32×body320nan
12.0ms19×body160valid
8.0ms14×body160nan
3.0ms12×body80valid
3.0ms10×body80nan

simplify1.4s

Counts
1 → 1
Iterations

Useful iterations: done (1.4s)

IterNodesCost
05594
119994
done500091

prune51.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.1b

localize163.0ms

Local error

Found 4 expressions with local error:

0.8b
(* (/ (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 (- z 0)) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
1.0b
(/ (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
1.0b
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
1.0b
(sqrt (* PI 2.0))

rewrite2.1m

Algorithm
rewrite-expression-head
Rules
1008×frac-add
368×flip3-+ flip-+
209×*-un-lft-identity
161×distribute-lft-out
130×associate-*r/
128×frac-times
46×associate-*r*
27×add-exp-log
20×add-cbrt-cube
19×add-sqr-sqrt
14×prod-exp
13×associate-*l*
12×add-cube-cbrt
9×pow1
8×times-frac div-exp
7×unpow-prod-down
6×associate-+l- cbrt-unprod
4×cbrt-undiv associate-/r* add-log-exp unswap-sqr
3×pow-to-exp exp-sum pow-exp
2×sqrt-pow1 exp-diff pow-prod-down sqrt-prod associate-/r/ *-commutative div-inv pow-sub sqr-pow
1×unpow-prod-up distribute-rgt-in frac-2neg distribute-lft-in pow1/2 associate-*l/ clear-num associate-/l/ associate-/l* distribute-lft-out--
Counts
4 → 390
Calls
4 calls:
2.0m
(* (/ (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 (- z 0)) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
1.0s
(/ (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
908.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
4.0ms
(sqrt (* PI 2.0))

series2.2s

Counts
4 → 10
Calls
4 calls:
1.1s
(* (/ (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 (- z 0)) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
661.0ms
(/ (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
449.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))

simplify1.2s

Counts
400 → 400
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01511109195
done5002104908

prune11.6s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize116.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (+ z 6.5))
0.8b
(* (* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (exp (+ z 6.5))) (sqrt PI)) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 (- z 0)) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
0.9b
(* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (exp (+ z 6.5))) (sqrt PI))
1.0b
(sqrt PI)

rewrite1.3m

Algorithm
rewrite-expression-head
Rules
1008×frac-add
368×flip3-+ flip-+
201×*-un-lft-identity
157×distribute-lft-out
131×associate-*l/
128×frac-times associate-*r/
41×associate-*r*
35×add-exp-log
27×add-cbrt-cube
22×prod-exp
16×add-sqr-sqrt
12×pow1 cbrt-unprod
11×add-cube-cbrt
9×associate-*l*
8×div-exp
7×sqrt-prod add-log-exp
4×cbrt-undiv exp-prod times-frac pow-prod-down
2×pow-to-exp exp-sum pow-exp *-commutative rem-exp-log unswap-sqr
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2 sum-log div-inv
Counts
4 → 376
Calls
4 calls:
15.0ms
(exp (+ z 6.5))
1.3m
(* (* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (exp (+ z 6.5))) (sqrt PI)) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 (- z 0)) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
210.0ms
(* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (exp (+ z 6.5))) (sqrt PI))
2.0ms
(sqrt PI)

series1.1s

Counts
4 → 10
Calls
4 calls:
11.0ms
(exp (+ z 6.5))
676.0ms
(* (* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (exp (+ z 6.5))) (sqrt PI)) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 (- z 0)) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
435.0ms
(* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (exp (+ z 6.5))) (sqrt PI))
0.0ms
(sqrt PI)

simplify821.0ms

Counts
386 → 386
Iterations

Useful iterations: done (709.0ms)

IterNodesCost
01463104850
done5001100632

prune7.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize60.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (+ z 6.5))
0.3b
(* (sqrt PI) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 z) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
0.7b
(* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (exp (+ z 6.5))) (* (sqrt PI) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 z) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))
1.0b
(sqrt PI)

rewrite2.2m

Algorithm
rewrite-expression-head
Rules
1512×frac-add
552×flip3-+ flip-+
512×associate-*r/
201×*-un-lft-identity
157×distribute-lft-out
128×frac-times
36×associate-*r*
35×add-exp-log
27×add-cbrt-cube
22×prod-exp
16×add-sqr-sqrt
14×associate-*l*
12×pow1 cbrt-unprod
11×add-cube-cbrt
8×div-exp
7×sqrt-prod add-log-exp
5×distribute-rgt-in distribute-lft-in
4×cbrt-undiv exp-prod times-frac pow-prod-down
2×pow-to-exp exp-sum pow-exp *-commutative rem-exp-log unswap-sqr
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*l/ sum-log div-inv
Counts
4 → 507
Calls
4 calls:
16.0ms
(exp (+ z 6.5))
1.2m
(* (sqrt PI) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 z) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
57.5s
(* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (exp (+ z 6.5))) (* (sqrt PI) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 z) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))
9.0ms
(sqrt PI)

series868.0ms

Counts
4 → 10
Calls
4 calls:
11.0ms
(exp (+ z 6.5))
196.0ms
(* (sqrt PI) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 z) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
661.0ms
(* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (exp (+ z 6.5))) (* (sqrt PI) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 z) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))
0.0ms
(sqrt PI)

simplify839.0ms

Counts
517 → 517
Iterations

Useful iterations: done (679.0ms)

IterNodesCost
01588141956
done5001141784

prune9.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize71.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (* (exp z) (exp 6.5)))
0.3b
(* (sqrt PI) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 z) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
0.7b
(* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (* (exp z) (exp 6.5))) (* (sqrt PI) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 z) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))
1.0b
(sqrt PI)

rewrite2.2m

Algorithm
rewrite-expression-head
Rules
1512×frac-add
552×flip3-+ flip-+
512×associate-*r/
197×*-un-lft-identity
156×distribute-lft-out
128×frac-times
83×add-exp-log
59×add-cbrt-cube
58×prod-exp
36×associate-*r*
28×cbrt-unprod
24×div-exp
14×add-sqr-sqrt
12×pow1 cbrt-undiv
11×associate-*l*
9×add-cube-cbrt
7×sqrt-prod
6×pow-to-exp pow-exp
5×distribute-rgt-in distribute-lft-in
4×pow-prod-down add-log-exp
2×times-frac associate-*l/ *-commutative div-inv unswap-sqr
1×rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 clear-num associate-/r* associate-/l/ associate-/l* pow-sub
Counts
4 → 528
Calls
4 calls:
31.0ms
(/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (* (exp z) (exp 6.5)))
1.2m
(* (sqrt PI) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 z) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
56.7s
(* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (* (exp z) (exp 6.5))) (* (sqrt PI) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 z) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))
1.0ms
(sqrt PI)

series1.2s

Counts
4 → 10
Calls
4 calls:
331.0ms
(/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (* (exp z) (exp 6.5)))
192.0ms
(* (sqrt PI) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 z) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
672.0ms
(* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (* (exp z) (exp 6.5))) (* (sqrt PI) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 z) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))
0.0ms
(sqrt PI)

simplify872.0ms

Counts
538 → 538
Iterations

Useful iterations: done (715.0ms)

IterNodesCost
01630144303
done5000143655

prune9.5s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes117.0ms

Accuracy

0% (1.0b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05781
17781
done7781

end0.0ms

sample22.4s

Algorithm
intervals
Results
9.2s3795×body10240exit
4.3s3365×body1280valid
2.8s2496×body640valid
1.8s1497×body1280nan
1.3s1247×body640nan
959.0ms1257×body320valid
760.0ms663×body320nan
565.0ms635×body160valid
117.0ms289×body160nan
74.0ms294×body80nan
61.0ms329×body80valid