Details

Time bar (total: 3.7m)

sample385.0ms

Algorithm
intervals
Results
104.0ms103×body10240exit
94.0ms110×body1280valid
53.0ms77×body640valid
27.0ms44×body1280nan
18.0ms38×body640nan
18.0ms42×body320valid
7.0ms20×body320nan
5.0ms20×body160valid
2.0ms7×body160nan
1.0ms13×body80nan
1.0ms10×body80valid

simplify1.2s

Counts
1 → 1
Iterations

Useful iterations: 3 (316.0ms)

IterNodesCost
05594
113394
244792
3247489
done500289

prune23.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.2b

localize47.0ms

Local error

Found 4 expressions with local error:

0.7b
(* (/ (* (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))

rewrite44.2s

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:
43.0s
(* (/ (* (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)))))))
565.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)))
594.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:
629.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)))))))
390.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)))
263.0ms
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
0.0ms
(sqrt (* PI 2.0))

simplify546.0ms

Counts
296 → 296
Iterations

Useful iterations: done (480.0ms)

IterNodesCost
0107363253
done500058696

prune4.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.7b
(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) z) (sqrt (* PI 2.0))) (* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.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) (sqrt (* PI 2.0))) (* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5))))
1.0b
(* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)))
1.0b
(sqrt (* PI 2.0))

rewrite49.0s

Algorithm
rewrite-expression-head
Rules
624×frac-add
176×flip3-+ flip-+
154×*-un-lft-identity
117×distribute-lft-out
96×add-exp-log
83×frac-times associate-*r/
68×prod-exp
39×associate-*r*
36×add-cbrt-cube
32×div-exp
17×pow-to-exp pow-exp
16×add-sqr-sqrt
14×cbrt-unprod
12×associate-+l- associate-*l*
9×pow1 add-cube-cbrt
8×cbrt-undiv
7×unpow-prod-down
6×exp-diff associate-/r/ pow-sub
4×associate-*l/ add-log-exp unswap-sqr
2×unpow-prod-up sqrt-pow1 times-frac pow-prod-down *-commutative div-inv sqr-pow
1×distribute-rgt-in sub-neg frac-2neg distribute-lft-in pow1/2 exp-sum clear-num associate-/r* sqrt-prod associate-/l* distribute-lft-out--
Counts
4 → 311
Calls
4 calls:
46.1s
(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) z) (sqrt (* PI 2.0))) (* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.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.2s
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) z) (sqrt (* PI 2.0))) (* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5))))
1.6s
(* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)))
3.0ms
(sqrt (* PI 2.0))

series1.7s

Counts
4 → 10
Calls
4 calls:
857.0ms
(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) z) (sqrt (* PI 2.0))) (* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.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)))))))
602.0ms
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) z) (sqrt (* PI 2.0))) (* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5))))
199.0ms
(* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)))
0.0ms
(sqrt (* PI 2.0))

simplify524.0ms

Counts
321 → 321
Iterations

Useful iterations: done (456.0ms)

IterNodesCost
0114867782
done500063050

prune4.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize56.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0))
1.0b
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) z) (sqrt (* PI 2.0))) (* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0)))
1.0b
(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) z) (sqrt (* PI 2.0))) (* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) 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
(sqrt (* PI 2.0))

rewrite39.1s

Algorithm
rewrite-expression-head
Rules
624×frac-add
292×add-exp-log
242×prod-exp
240×associate-*r/
176×flip3-+ flip-+
80×frac-times div-exp
59×add-cbrt-cube
58×pow-to-exp pow-exp
28×cbrt-unprod
17×*-un-lft-identity
13×add-sqr-sqrt
12×cbrt-undiv
11×associate-*r*
10×associate-*l*
9×pow1
8×add-cube-cbrt
7×unpow-prod-down
6×associate-+l-
5×distribute-lft-out
4×distribute-rgt-in distribute-lft-in associate-*l/ add-log-exp
3×exp-diff unswap-sqr
2×sqrt-pow1 times-frac pow-prod-down associate-/r/ *-commutative div-inv sqr-pow
1×frac-2neg pow1/2 exp-sum clear-num associate-/r* sqrt-prod associate-/l* distribute-lft-out--
Counts
4 → 334
Calls
4 calls:
1.6s
(* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0))
1.2s
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) z) (sqrt (* PI 2.0))) (* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0)))
36.3s
(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) z) (sqrt (* PI 2.0))) (* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) 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))))))))
3.0ms
(sqrt (* PI 2.0))

series1.9s

Counts
4 → 10
Calls
4 calls:
502.0ms
(* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0))
594.0ms
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) z) (sqrt (* PI 2.0))) (* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0)))
841.0ms
(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) z) (sqrt (* PI 2.0))) (* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) 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.0ms
(sqrt (* PI 2.0))

simplify584.0ms

Counts
344 → 344
Iterations

Useful iterations: done (508.0ms)

IterNodesCost
0127975154
done500070250

prune4.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize60.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0))
1.0b
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) z) (sqrt (* PI 2.0))) (* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0)))
1.0b
(* (exp (log (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) z) (sqrt (* PI 2.0))) (* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0))))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) 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
(sqrt (* PI 2.0))

rewrite48.6s

Algorithm
rewrite-expression-head
Rules
624×frac-add
240×associate-*r/
176×flip3-+ flip-+
84×exp-diff
81×log-div
80×frac-times
48×add-exp-log
34×prod-exp
23×add-cbrt-cube
18×*-un-lft-identity
16×div-exp
14×add-sqr-sqrt
13×associate-*l*
11×associate-*r*
10×pow-to-exp pow-exp
9×pow1 add-cube-cbrt
8×cbrt-unprod
7×unpow-prod-down exp-sum
6×associate-+l- log-prod
5×distribute-lft-out
4×cbrt-undiv distribute-rgt-in distribute-lft-in associate-*l/ add-log-exp
3×unswap-sqr
2×sqrt-pow1 times-frac pow-prod-down associate-/r/ *-commutative div-inv sqr-pow
1×frac-2neg pow1/2 clear-num associate-/r* sqrt-prod associate-/l* distribute-lft-out--
Counts
4 → 265
Calls
4 calls:
1.5s
(* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0))
1.1s
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) z) (sqrt (* PI 2.0))) (* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0)))
45.9s
(* (exp (log (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) z) (sqrt (* PI 2.0))) (* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0))))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) 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))))))))
3.0ms
(sqrt (* PI 2.0))

series1.9s

Counts
4 → 10
Calls
4 calls:
480.0ms
(* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0))
559.0ms
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) z) (sqrt (* PI 2.0))) (* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0)))
812.0ms
(* (exp (log (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) z) (sqrt (* PI 2.0))) (* (exp (+ (+ (- z 1.0) 7.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) 1.0))))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) 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.0ms
(sqrt (* PI 2.0))

simplify1.5s

Counts
275 → 275
Iterations

Useful iterations: 1 (500.0ms)

IterNodesCost
0126366563
1499761433
done500061433

prune4.0s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes124.0ms

Accuracy

0% (1.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
058107
179107
done79107

end0.0ms

sample10.7s

Algorithm
intervals
Results
3.6s3726×body10240exit
2.8s3417×body1280valid
1.4s2469×body640valid
914.0ms1504×body1280nan
575.0ms1233×body640nan
508.0ms1232×body320valid
215.0ms629×body320nan
165.0ms638×body160valid
73.0ms317×body160nan
46.0ms344×body80valid
33.0ms296×body80nan