Details

Time bar (total: 1.9m)

sample892.0ms

Algorithm
intervals
Results
267.0ms126×body10240exit
252.0ms107×body1280valid
88.0ms43×body1280nan
84.0ms78×body640valid
40.0ms40×body640nan
35.0ms45×body320valid
16.0ms23×body320nan
9.0ms16×body160valid
8.0ms15×body160nan
2.0ms11×body80valid
1.0ms6×body80nan

simplify2.8s

Counts
1 → 1
Iterations
IterNodes
done5019
32301
2420
1140
055

prune57.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.8b

localize153.0ms

Local error

Found 4 expressions with local error:

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

rewrite798.0ms

Algorithm
rewrite-expression-head
Rules
79×*-un-lft-identity
33×distribute-lft-out
28×times-frac
15×add-exp-log
14×add-sqr-sqrt
12×associate-*l*
11×add-cbrt-cube
9×add-cube-cbrt add-log-exp
7×pow1
6×unpow-prod-down prod-exp
4×associate-/r* div-exp associate-*r* frac-add insert-posit16
3×unpow-prod-up sum-log unswap-sqr
2×pow-to-exp cbrt-undiv sqrt-pow1 flip3-+ exp-sum associate-*l/ pow-exp sqrt-prod cbrt-unprod flip-+ pow-sub sqr-pow
1×+-commutative associate-+l+ clear-num associate-+r- sub-neg frac-2neg pow1/2 exp-diff pow-prod-down associate-/r/ *-commutative div-inv associate-/l* distribute-lft-out-- associate--r- associate-/l/
Counts
4 → 100
Calls
4 calls:
484.0ms
(+ (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ z 7))) (/ -0.13857109526572012 (+ z 5)))
140.0ms
(/ (* (pow (+ 0.5 (- z -6)) (- z (- 1 0.5))) (sqrt (* PI 2))) (exp (+ 0.5 (- z -6))))
165.0ms
(* (pow (+ 0.5 (- z -6)) (- z (- 1 0.5))) (sqrt (* PI 2)))
3.0ms
(sqrt (* PI 2))

series1.2s

Counts
4 → 10
Calls
4 calls:
125.0ms
(+ (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ z 7))) (/ -0.13857109526572012 (+ z 5)))
639.0ms
(/ (* (pow (+ 0.5 (- z -6)) (- z (- 1 0.5))) (sqrt (* PI 2))) (exp (+ 0.5 (- z -6))))
416.0ms
(* (pow (+ 0.5 (- z -6)) (- z (- 1 0.5))) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))

simplify3.2s

Counts
110 → 110
Iterations
IterNodes
done5005
23381
1885
0310

prune1.8s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.3b

localize185.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
77×*-un-lft-identity
42×add-exp-log
33×distribute-lft-out
27×prod-exp
25×times-frac
18×add-cbrt-cube
16×div-exp
12×add-sqr-sqrt
11×associate-*r*
9×pow-to-exp pow-exp add-log-exp
7×pow1 add-cube-cbrt
6×unpow-prod-down
5×cbrt-unprod
4×cbrt-undiv associate-+r- exp-diff associate-*l* frac-add insert-posit16 pow-sub
3×sum-log associate-/r/ unswap-sqr
2×frac-times unpow-prod-up sqrt-pow1 flip3-+ associate-*l/ associate-*r/ flip-+ sqr-pow
1×+-commutative associate-+l+ clear-num associate-/r* sub-neg frac-2neg pow1/2 exp-sum pow-prod-down *-commutative sqrt-prod div-inv associate-/l* distribute-lft-out--
Counts
4 → 110
Calls
4 calls:
360.0ms
(/ (* (pow (+ 0.5 (- z -6)) z) (sqrt (* PI 2))) (* (exp (+ 0.5 (- z -6))) (pow (+ 0.5 (- z -6)) (- 1 0.5))))
454.0ms
(+ (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ z 7))) (/ -0.13857109526572012 (+ z 5)))
465.0ms
(* (exp (+ 0.5 (- z -6))) (pow (+ 0.5 (- z -6)) (- 1 0.5)))
14.0ms
(sqrt (* PI 2))

series1.3s

Counts
4 → 10
Calls
4 calls:
860.0ms
(/ (* (pow (+ 0.5 (- z -6)) z) (sqrt (* PI 2))) (* (exp (+ 0.5 (- z -6))) (pow (+ 0.5 (- z -6)) (- 1 0.5))))
123.0ms
(+ (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ z 7))) (/ -0.13857109526572012 (+ z 5)))
331.0ms
(* (exp (+ 0.5 (- z -6))) (pow (+ 0.5 (- z -6)) (- 1 0.5)))
0.0ms
(sqrt (* PI 2))

simplify3.5s

Counts
120 → 120
Iterations
IterNodes
done5021
24317
11065
0354

prune1.7s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.3b

localize157.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.2s

Algorithm
rewrite-expression-head
Rules
556×frac-add
208×*-un-lft-identity
170×flip3-+ flip-+
145×distribute-lft-out
96×add-exp-log
83×prod-exp
74×associate-*l/
73×associate-*r/
72×frac-times
41×add-cbrt-cube
32×div-exp
27×associate-*r*
25×times-frac
19×cbrt-unprod
16×pow-to-exp pow-exp
12×pow1
9×add-log-exp
8×cbrt-undiv
5×add-sqr-sqrt add-cube-cbrt
4×pow-prod-down insert-posit16
3×sum-log
2×sqrt-pow1
1×distribute-rgt-in +-commutative associate-+l+ clear-num associate-/r* frac-2neg distribute-lft-in pow1/2 associate-*l* associate-/r/ *-commutative sqrt-prod div-inv associate-/l* pow-sub
Counts
4 → 284
Calls
4 calls:
33.5s
(* (* (/ (* (pow (+ 0.5 (- z -6)) z) (sqrt (* PI 2))) (* (exp (+ 0.5 z)) (pow (+ 0.5 (- z -6)) (- 1 0.5)))) (exp -6)) (+ (+ (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ z 7))) (/ -0.13857109526572012 (+ z 5))) (+ (+ (+ (/ 12.507343278686905 (+ z 4)) 0.9999999999998099) (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2)))) (/ -176.6150291621406 (+ 3 z)))))
121.0ms
(/ (* (pow (+ 0.5 (- z -6)) z) (sqrt (* PI 2))) (* (exp (+ 0.5 z)) (pow (+ 0.5 (- z -6)) (- 1 0.5))))
473.0ms
(+ (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ z 7))) (/ -0.13857109526572012 (+ z 5)))
3.0ms
(sqrt (* PI 2))

series2.8s

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

simplify10.6s

Counts
294 → 294
Iterations
IterNodes
done5000
01104

prune7.0s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize344.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 12.507343278686905 (+ z 4)) 0.9999999999998099)))
1.0b
(+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 12.507343278686905 (+ z 4)) 0.9999999999998099)))
1.0b
(+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 12.507343278686905 (+ z 4)) 0.9999999999998099)))
1.0b
(sqrt (* PI 2))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
19×add-log-exp
18×frac-add
9×flip3-- flip--
7×pow1
6×frac-times associate-+r+ sum-log associate-*l/ associate-*r/
4×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
3×+-commutative associate-+r- sub-neg flip3-+ diff-log flip-+
2×sqrt-pow1
1×pow1/2 pow-prod-down sqrt-prod
Counts
4 → 78
Calls
4 calls:
35.0ms
(+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 12.507343278686905 (+ z 4)) 0.9999999999998099)))
42.0ms
(+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 12.507343278686905 (+ z 4)) 0.9999999999998099)))
36.0ms
(+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 12.507343278686905 (+ z 4)) 0.9999999999998099)))
6.0ms
(sqrt (* PI 2))

series187.0ms

Counts
4 → 10
Calls
4 calls:
50.0ms
(+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 12.507343278686905 (+ z 4)) 0.9999999999998099)))
65.0ms
(+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 12.507343278686905 (+ z 4)) 0.9999999999998099)))
72.0ms
(+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 12.507343278686905 (+ z 4)) 0.9999999999998099)))
0.0ms
(sqrt (* PI 2))

simplify3.4s

Counts
88 → 88
Iterations
IterNodes
done5006
22574
1556
0167

prune2.8s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes157.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify14.0ms

Iterations
IterNodes
done82
182
058

end0.0ms

sample35.1s

Algorithm
intervals
Results
12.3s3699×body10240exit
9.3s3331×body1280valid
4.3s1468×body1280nan
4.3s2531×body640valid
1.4s1196×body640nan
1.4s1251×body320valid
571.0ms598×body320nan
406.0ms637×body160valid
276.0ms370×body160nan
262.0ms339×body80valid
124.0ms275×body80nan