Details

Time bar (total: 3.9m)

sample391.0ms

Algorithm
intervals
Results
128.0ms118×body10240exit
88.0ms104×body1280valid
50.0ms83×body640valid
25.0ms38×body1280nan
17.0ms35×body640nan
17.0ms40×body320valid
9.0ms21×body320nan
6.0ms21×body160valid
2.0ms9×body160nan
2.0ms13×body80valid
1.0ms8×body80nan

simplify1.3s

Counts
1 → 1
Iterations

Useful iterations: 3 (303.0ms)

IterNodesCost
05594
113394
244792
3247489
done500289

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize49.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
1.0b
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
1.0b
(sqrt (* PI 2.0))

rewrite43.8s

Algorithm
rewrite-expression-head
Rules
624×frac-add
176×flip3-+ flip-+
157×*-un-lft-identity
117×distribute-lft-out
80×frac-times associate-*r/
31×associate-*r*
27×add-exp-log
20×associate-*l* add-cbrt-cube
19×add-sqr-sqrt
14×prod-exp
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 associate-*l/ 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 clear-num associate-/l/ associate-/l* distribute-lft-out--
Counts
4 → 286
Calls
4 calls:
42.6s
(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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)))))))
568.0ms
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
599.0ms
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
3.0ms
(sqrt (* PI 2.0))

series1.3s

Counts
4 → 10
Calls
4 calls:
644.0ms
(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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)))))))
396.0ms
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
265.0ms
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
0.0ms
(sqrt (* PI 2.0))

simplify531.0ms

Counts
296 → 296
Iterations

Useful iterations: done (465.0ms)

IterNodesCost
0107363253
done500058696

prune4.2s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (+ z 6.5))
0.6b
(* (* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (exp (+ z 6.5))) (sqrt PI)) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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)

rewrite31.3s

Algorithm
rewrite-expression-head
Rules
624×frac-add
176×flip3-+ flip-+
149×*-un-lft-identity
113×distribute-lft-out
83×associate-*l/
80×frac-times associate-*r/
35×add-exp-log
33×associate-*r*
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 → 272
Calls
4 calls:
14.0ms
(exp (+ z 6.5))
31.2s
(* (* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (exp (+ z 6.5))) (sqrt PI)) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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)))))))
106.0ms
(* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (exp (+ z 6.5))) (sqrt PI))
1.0ms
(sqrt PI)

series1.1s

Counts
4 → 10
Calls
4 calls:
11.0ms
(exp (+ z 6.5))
678.0ms
(* (* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (exp (+ z 6.5))) (sqrt PI)) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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)))))))
423.0ms
(* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (exp (+ z 6.5))) (sqrt PI))
0.0ms
(sqrt PI)

simplify1.7s

Counts
282 → 282
Iterations

Useful iterations: done (1.6s)

IterNodesCost
0102959888
1497455351
done500055345

prune4.2s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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.5b
(* (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (- z 1.0) 7.0))) (* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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
(/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (- z 1.0) 7.0)))
1.0b
(sqrt (* PI 2.0))

rewrite1.2m

Algorithm
rewrite-expression-head
Rules
1872×frac-add
528×flip3-+ flip-+
401×frac-times associate-*r/
272×*-un-lft-identity
157×distribute-lft-out
101×times-frac
65×associate-*l*
60×add-sqr-sqrt
55×add-cube-cbrt
54×unpow-prod-down
39×add-exp-log
32×add-cbrt-cube
28×associate-*r*
23×exp-sum
22×prod-exp
17×div-exp
14×pow1
12×cbrt-unprod
11×associate-/l*
9×unpow-prod-up distribute-lft-out-- sqr-pow
7×cbrt-undiv
5×distribute-rgt-in distribute-lft-in pow-prod-down
4×pow-to-exp associate-*l/ pow-exp associate-/r* sqrt-prod add-log-exp
3×associate-+l- div-inv
2×sqrt-pow1 exp-diff associate-/r/ *-commutative unswap-sqr
1×frac-2neg pow1/2 clear-num associate-/l/ pow-sub
Counts
4 → 712
Calls
4 calls:
41.3s
(* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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)))))))
32.0s
(* (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (- z 1.0) 7.0))) (* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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))))))))
536.0ms
(/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (- z 1.0) 7.0)))
3.0ms
(sqrt (* PI 2.0))

series1.2s

Counts
4 → 10
Calls
4 calls:
309.0ms
(* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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)))))))
694.0ms
(* (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (- z 1.0) 7.0))) (* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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))))))))
172.0ms
(/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (- z 1.0) 7.0)))
0.0ms
(sqrt (* PI 2.0))

simplify910.0ms

Counts
722 → 722
Iterations

Useful iterations: done (713.0ms)

IterNodesCost
01683181524
done5001168080

prune10.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize56.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* (exp (- (- z 1.0))) (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp 7.0))) (* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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
(* (exp (- (- z 1.0))) (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp 7.0)))
1.0b
(/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp 7.0))
1.0b
(sqrt (* PI 2.0))

rewrite31.8s

Algorithm
rewrite-expression-head
Rules
3744×frac-add
1611×frac-times
1056×flip3-+ flip-+
804×associate-*r/
337×associate-*l/
326×neg-sub0 exp-neg exp-diff
106×*-un-lft-identity
69×times-frac
53×add-sqr-sqrt
47×add-cbrt-cube
46×add-exp-log
43×add-cube-cbrt unpow-prod-down
41×prod-exp
38×associate-*r*
35×distribute-lft-out
23×cbrt-unprod
21×pow1
20×div-exp
11×associate-/l*
10×pow-prod-down
8×cbrt-undiv sqr-pow
7×unpow-prod-up distribute-lft-out--
6×associate-*l*
5×pow-to-exp pow-exp
4×distribute-rgt-in distribute-lft-in add-log-exp unswap-sqr
3×associate-/r*
2×distribute-neg-in sqrt-pow1 exp-sum *-commutative div-inv
1×associate-+l- sub-neg frac-2neg pow1/2 clear-num sqrt-prod associate-/l/ pow-sub
Counts
4 → 1152
Calls
4 calls:
30.6s
(* (* (exp (- (- z 1.0))) (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp 7.0))) (* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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))))))))
617.0ms
(* (exp (- (- z 1.0))) (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp 7.0)))
422.0ms
(/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp 7.0))
3.0ms
(sqrt (* PI 2.0))

series1.2s

Counts
4 → 10
Calls
4 calls:
774.0ms
(* (* (exp (- (- z 1.0))) (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp 7.0))) (* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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))))))))
262.0ms
(* (exp (- (- z 1.0))) (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp 7.0)))
185.0ms
(/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp 7.0))
0.0ms
(sqrt (* PI 2.0))

simplify1.5s

Counts
1162 → 1162
Iterations

Useful iterations: done (1.1s)

IterNodesCost
02651383603
done5000351405

prune13.7s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes136.0ms

Accuracy

0% (0.8b remaining)

Error of 0.9b against oracle of 0.0b and baseline of 0.9b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05590
17590
done7590

end0.0ms

sample10.9s

Algorithm
intervals
Results
3.7s3787×body10240exit
2.8s3393×body1280valid
1.5s2479×body640valid
936.0ms1497×body1280nan
581.0ms1223×body640nan
502.0ms1227×body320valid
214.0ms612×body320nan
170.0ms646×body160valid
72.0ms305×body160nan
49.0ms359×body80valid
34.0ms311×body80nan