Date:Wednesday, June 10th, 2020
Commit:333f73e0 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020162
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample20.0min (49.7%)

Algorithm
952×intervals
Results
3.1min4070370×body80valid
2.3min258416×body1280valid
1.0min13138×body5120exit
59.4s189386×body640valid
47.0s734988×body80nan
35.1s42174×body2560valid
21.5s109667×body320valid
11.7s90908×body160valid
9.7s12198×body1280nan
7.7s340399×pre80true
6.5s4837×body5120valid
6.0s9965×body640nan
4.2s51980×body80overflowed
2.2s5155×body320nan
1.0s956×body1280overflowed
647.0ms2517×body160nan
583.0ms3020×body2560nan
498.0ms632×body640overflowed
150.0ms332×body320overflowed
96.0ms141×body2560overflowed
43.0ms158×body160overflowed
6.0ms229×pre80false

prune9.8min (24.3%)

Filtered
168025 candidates to 108251 candidates (35.6%)

regimes2.7min (6.6%)

Accuracy

Total 415.2b remaining (28.7%)

Threshold costs 55.8b (3.9%)

11.7b62%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.2b8.5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
10.1b58.5%math.log/2 on complex, real part
9.9b59.7%math.log10 on complex, real part
9.8b-13.5%Linear.Matrix:det44 from linear-1.19.1.3

simplify2.7min (6.6%)

Algorithm
2541×egg-herbie

series2.0min (5.1%)

Calls

4770 calls:

4.5s
(* (* (sqrt (* a (+ (+ b c) d))) (sqrt a)) (sqrt (+ (+ b c) d)))
2.0s
(pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3)
2.0s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*))))))
1.9s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
1.9s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

bsearch2.0min (4.9%)

rewrite48.3s (2.0%)

Algorithm
1592×rewrite-expression-head
Calls

4770 calls:

160.0ms
(/ (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.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)))) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)))
151.0ms
(/ (* (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.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))) (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5))))
150.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.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))))
148.0ms
(- (* (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0))) (- (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))))))
143.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.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))))
Rules
65394×times-frac
61045×*-un-lft-identity
59170×add-sqr-sqrt
47920×add-exp-log
40558×add-cube-cbrt
24051×prod-exp
18933×add-cbrt-cube
13317×pow1
12634×sqrt-prod
12356×frac-times
12082×div-exp
11835×associate-*r*
11253×cbrt-prod
9956×associate-*l/
9393×flip--
9392×flip3--
8670×associate-*r/
8403×associate-*l*
7651×add-log-exp
6450×pow-exp
6276×cbrt-unprod
6051×difference-of-squares
5963×flip-+
5962×flip3-+
5615×distribute-lft-out--
5207×associate-/r*
5171×associate-/l*
4943×distribute-lft-out
4869×unpow-prod-down
4649×cbrt-div
3822×frac-sub
3775×cbrt-undiv
3695×pow-prod-down
3567×associate-/r/
3450×pow-to-exp
3329×div-inv
2976×frac-add
2932×sqrt-div
2899×unswap-sqr
2116×log-prod
1727×swap-sqr
1575×distribute-rgt-in distribute-lft-in
1540×cube-prod
1462×associate-/l/
1454×*-commutative sqr-pow
1252×sqrt-pow1
1236×pow1/3
1207×sub-neg
955×distribute-rgt-neg-in
949×clear-num frac-2neg
862×sum-log
755×pow1/2
746×log-pow
739×diff-log
658×pow-prod-up
590×pow-unpow
555×1-exp
542×distribute-lft-neg-in
469×+-commutative
465×exp-prod
462×pow-sqr
455×associate-+l+
450×unpow2
449×associate-+r+
439×rec-exp
438×associate--l+
363×rem-sqrt-square
267×pow-plus
255×tanh-def
245×neg-sub0
233×exp-sum
230×tan-quot
229×log-div
228×div-sub
221×exp-diff
217×exp-neg
215×cube-div cube-mult unpow3
206×pow2
200×pow-pow
156×un-div-inv
143×associate--r+
142×associate-+l-
120×rem-log-exp
116×neg-mul-1
109×pow-flip
95×inv-pow
89×neg-log
77×associate--l- pow-sub rem-exp-log
70×distribute-rgt-out sin-mult
67×rem-cube-cbrt
65×associate-+r-
64×distribute-lft-neg-out
63×cos-mult
62×sub-div
52×log-rec
51×distribute-rgt-out--
46×sqrt-unprod
40×rem-cbrt-cube
36×sinh-def unsub-neg
33×distribute-rgt-neg-out
30×associate--r-
25×cos-diff cos-sum rem-square-sqrt
23×distribute-frac-neg
18×difference-cubes cosh-def distribute-lft1-in
17×acos-asin diff-cos pow-neg
16×sum-cubes sin-diff distribute-neg-out
15×sin-sum
13×distribute-neg-frac
12×unpow-prod-up
11×sqrt-pow2 sin-cos-mult
10×count-2 distribute-rgt1-in
9×distribute-neg-in
8×sqrt-undiv exp-to-pow pow3
4×tan-sum unpow1/3 asin-acos
3×acos-neg e-exp-1 difference-of-sqr-1
2×sqr-cos +-inverses
1×tanh-undef diff-sin mul0 diff-atan remove-double-div

localize19.9s (0.8%)

end8.0ms (0.0%)

Profiling

Loading profile data...