Details

Time bar (total: 5.6m)

sample1.9s

Algorithm
intervals
Results
606.0ms134×body10240exit
483.0ms42×body1280nan
349.0ms119×body1280valid
199.0ms81×body640valid
77.0ms37×body640nan
45.0ms31×body320valid
28.0ms19×body320nan
14.0ms15×body160valid
11.0ms11×body160nan
7.0ms11×body80nan
5.0ms12×body80valid

simplify1.1s

Counts
1 → 1

prune68.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize203.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* PI 2))
1.0b
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.9b
(/ (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (+ 7 (- z 1)) 0.5)))
0.9b
(+ (/ -176.6150291621406 (- z -3)) 0.9999999999998099)

rewrite969.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity
15×add-exp-log
14×add-sqr-sqrt
11×add-cbrt-cube associate-*l*
9×add-cube-cbrt
7×pow1 unpow-prod-down
6×prod-exp distribute-lft-out add-log-exp
4×associate-/r* times-frac div-exp associate-*r* insert-posit16
3×associate-+l- unswap-sqr
2×pow-to-exp cbrt-undiv sqrt-pow1 exp-sum associate-*l/ pow-exp sqrt-prod cbrt-unprod pow-sub sqr-pow
1×unpow-prod-up +-commutative clear-num associate-+r- sum-log frac-2neg flip3-+ pow1/2 exp-diff pow-prod-down associate-/r/ *-commutative flip-+ div-inv associate-/l* distribute-lft-out-- associate-/l/
Counts
4 → 85
Calls
4 calls:
Slowest
496.0ms
(/ (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (+ 7 (- z 1)) 0.5)))
438.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
28.0ms
(+ (/ -176.6150291621406 (- z -3)) 0.9999999999998099)
6.0ms
(sqrt (* PI 2))

series1.1s

Counts
4 → 10
Calls
4 calls:
Slowest
602.0ms
(/ (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (+ 7 (- z 1)) 0.5)))
432.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
41.0ms
(+ (/ -176.6150291621406 (- z -3)) 0.9999999999998099)
0.0ms
(sqrt (* PI 2))

simplify1.5s

Counts
95 → 95

prune3.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.3b

localize170.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* PI 2))
1.0b
(/ (sqrt (* PI 2)) (/ (exp (+ 0.5 (+ z 6))) (pow (+ 0.5 (+ z 6)) (+ (- z 1) 0.5))))
1.0b
(/ (exp (+ 0.5 (+ z 6))) (pow (+ 0.5 (+ z 6)) (+ (- z 1) 0.5)))
0.9b
(+ (/ -176.6150291621406 (+ z 3)) 0.9999999999998099)

rewrite278.0ms

Algorithm
rewrite-expression-head
Rules
420×times-frac
293×*-un-lft-identity
166×add-sqr-sqrt add-cube-cbrt
125×unpow-prod-down
76×distribute-lft-out
61×exp-sum
55×associate-/r*
47×sqrt-prod
25×unpow-prod-up sqr-pow
13×add-exp-log
11×add-cbrt-cube
10×div-exp
8×associate-/l*
7×pow1 associate-/r/ div-inv
6×associate-+l- pow-sub add-log-exp
4×cbrt-undiv insert-posit16
2×pow-to-exp clear-num frac-2neg sqrt-pow1 pow-exp
1×+-commutative sum-log flip3-+ pow1/2 pow-prod-down flip-+
Counts
4 → 342
Calls
4 calls:
Slowest
124.0ms
(/ (sqrt (* PI 2)) (/ (exp (+ 0.5 (+ z 6))) (pow (+ 0.5 (+ z 6)) (+ (- z 1) 0.5))))
102.0ms
(/ (exp (+ 0.5 (+ z 6))) (pow (+ 0.5 (+ z 6)) (+ (- z 1) 0.5)))
34.0ms
(+ (/ -176.6150291621406 (+ z 3)) 0.9999999999998099)
3.0ms
(sqrt (* PI 2))

series942.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
635.0ms
(/ (sqrt (* PI 2)) (/ (exp (+ 0.5 (+ z 6))) (pow (+ 0.5 (+ z 6)) (+ (- z 1) 0.5))))
277.0ms
(/ (exp (+ 0.5 (+ z 6))) (pow (+ 0.5 (+ z 6)) (+ (- z 1) 0.5)))
30.0ms
(+ (/ -176.6150291621406 (+ z 3)) 0.9999999999998099)
0.0ms
(sqrt (* PI 2))

simplify1.6s

Counts
352 → 352

prune12.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.2b

localize187.0ms

Local error

Found 4 expressions with local error:

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

rewrite32.5s

Algorithm
rewrite-expression-head
Rules
364×frac-add
109×*-un-lft-identity
107×add-exp-log
83×flip3-+ flip-+
82×div-exp distribute-lft-out
50×prod-exp
48×frac-times associate-*r/
47×add-cbrt-cube
20×associate-*r*
18×cbrt-undiv
16×pow-to-exp pow-exp
14×cbrt-unprod
11×add-sqr-sqrt associate-*l*
9×pow1 add-cube-cbrt
8×times-frac
6×associate-/r/ add-log-exp
4×sqrt-prod insert-posit16 associate-/l*
3×associate-*l/
2×sqrt-pow1 pow-prod-down div-inv
1×distribute-rgt-in +-commutative clear-num associate-/r* sum-log frac-2neg distribute-lft-in pow1/2 *-commutative unswap-sqr
Counts
4 → 231
Calls
4 calls:
Slowest
32.3s
(* (/ (sqrt (* PI 2)) (* (/ (exp 0.5) (pow (sqrt (+ 0.5 (+ z 6))) (+ (- z 1) 0.5))) (/ (exp (+ z 6)) (pow (sqrt (+ 0.5 (+ z 6))) (+ (- z 1) 0.5))))) (+ (/ -0.13857109526572012 (+ z 5)) (+ (+ (+ (+ (/ 12.507343278686905 (+ z 4)) (/ 9.984369578019572e-06 (+ z 6))) (/ 1.5056327351493116e-07 (+ z 7))) (/ 771.3234287776531 (+ 2 z))) (+ (/ -1259.1392167224028 (+ 1 z)) (+ (/ 676.5203681218851 z) (+ (/ -176.6150291621406 (+ z 3)) 0.9999999999998099))))))
94.0ms
(/ (sqrt (* PI 2)) (* (/ (exp 0.5) (pow (sqrt (+ 0.5 (+ z 6))) (+ (- z 1) 0.5))) (/ (exp (+ z 6)) (pow (sqrt (+ 0.5 (+ z 6))) (+ (- z 1) 0.5)))))
25.0ms
(+ (/ -176.6150291621406 (+ z 3)) 0.9999999999998099)
3.0ms
(sqrt (* PI 2))

series3.3s

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

simplify13.8s

Counts
241 → 241

prune10.8s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize228.0ms

Local error

Found 4 expressions with local error:

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

rewrite19.7s

Algorithm
rewrite-expression-head
Rules
8072×times-frac
5172×*-un-lft-identity
3564×unpow-prod-down
2981×add-sqr-sqrt
2820×add-cube-cbrt
2243×associate-*r*
2224×sqrt-prod
1427×distribute-lft-out
689×exp-sum
580×frac-add
459×sqr-pow
441×unpow-prod-up
155×flip3-+ flip-+
129×add-exp-log
110×div-exp
70×frac-times associate-*l/
58×associate-/r/ div-inv
57×associate-+r- associate-/l* pow-sub
43×unswap-sqr
40×prod-exp
28×pow-to-exp pow-exp
24×associate-*l*
23×add-cbrt-cube
13×rec-exp associate-/r* 1-exp
9×pow1 cbrt-undiv
6×add-log-exp
4×cbrt-unprod insert-posit16
2×sqrt-pow1 pow-prod-down
1×+-commutative clear-num sum-log frac-2neg pow1/2 associate-*r/ un-div-inv *-commutative associate-/l/
Counts
4 → 3369
Calls
4 calls:
Slowest
19.0s
(* (+ (/ -0.13857109526572012 (+ z 5)) (+ (+ (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 12.507343278686905 (+ 4 z))) (+ (/ 1.5056327351493116e-07 (+ z 7)) (/ 771.3234287776531 (+ 2 z)))) (+ (+ (/ 676.5203681218851 z) (+ (/ -176.6150291621406 (+ 3 z)) 0.9999999999998099)) (/ -1259.1392167224028 (+ 1 z))))) (/ 1 (/ (/ (exp (+ (+ 0.5 z) 6)) (pow (sqrt (+ (+ 0.5 z) 6)) (+ 0.5 (- z 1)))) (pow (sqrt (+ (+ 0.5 z) 6)) (+ 0.5 (- z 1))))))
277.0ms
(/ (/ (exp (+ (+ 0.5 z) 6)) (pow (sqrt (+ (+ 0.5 z) 6)) (+ 0.5 (- z 1)))) (pow (sqrt (+ (+ 0.5 z) 6)) (+ 0.5 (- z 1))))
20.0ms
(+ (/ -176.6150291621406 (+ 3 z)) 0.9999999999998099)
5.0ms
(sqrt (* PI 2))

series1.6s

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

simplify56.1s

Counts
3379 → 3379

prune2.3m

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

regimes262.0ms

Accuracy

0% (0.9b remaining)

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

bsearch20.0ms

end0.0ms

sample34.0s

Algorithm
intervals
Results
11.7s3811×body10240exit
8.1s3397×body1280valid
4.1s2512×body640valid
4.1s1493×body1280nan
2.0s1237×body640nan
1.9s1253×body320valid
958.0ms636×body320nan
420.0ms581×body160valid
208.0ms305×body160nan
132.0ms340×body80valid
104.0ms282×body80nan