Date:Tuesday, June 9th, 2020
Commit:c3d6c186 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020161
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

sample23.7min (52.6%)

Algorithm
950×intervals
Results
3.2min4080973×body80valid
2.2min255828×body1280valid
1.0min13192×body5120exit
58.4s185745×body640valid
46.6s724145×body80nan
35.1s42242×body2560valid
21.3s108444×body320valid
11.4s91403×body160valid
9.5s12201×body1280nan
7.1s323654×pre80true
6.3s4905×body5120valid
5.8s9823×body640nan
4.1s51892×body80overflowed
2.3s5077×body320nan
1.0s985×body1280overflowed
654.0ms2514×body160nan
562.0ms3071×body2560nan
445.0ms651×body640overflowed
143.0ms348×body320overflowed
109.0ms169×body2560overflowed
50.0ms177×body160overflowed
6.0ms175×pre80false

prune8.5min (18.9%)

Filtered
176069 candidates to 112595 candidates (36.1%)

series4.5min (10.0%)

Calls

4847 calls:

1.4min
(+ (* (* c i) (- (* c i) (+ (+ (* x y) (* z t)) (* a b)))) (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))))
2.1s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
2.0s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
2.0s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
1.9s
(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))

simplify2.7min (6.1%)

Algorithm
2557×egg-herbie

regimes2.7min (6.0%)

Accuracy

Total 445.6b remaining (31.1%)

Threshold costs 47.6b (3.3%)

18.3b48.9%math.sqrt on complex, imaginary part, im greater than 0 branch
14.4b53.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
13.6b-24.8%Linear.Matrix:det44 from linear-1.19.1.3
11.1b55.6%math.log/2 on complex, real part
10.7b56.1%math.log10 on complex, real part

bsearch1.7min (3.8%)

rewrite52.7s (2.0%)

Algorithm
1612×rewrite-expression-head
Calls

4848 calls:

754.0ms
(* (/ (/ (* (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))) (/ (/ (/ (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))))
487.0ms
(* (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (sqrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))) (/ (/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))))
215.0ms
(* (sqrt (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))) (sqrt (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
183.0ms
(* y (* (* (cbrt (* z (- (tanh (/ t y)) (tanh (/ x y))))) (cbrt (* z (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (* z (- (tanh (/ t y)) (tanh (/ x y)))))))
163.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (/ 1 (* (* (exp (- z 1.0)) (exp 7.0)) (exp 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
83331×times-frac
73829×*-un-lft-identity
69100×add-sqr-sqrt
49152×add-exp-log
46265×add-cube-cbrt
24942×prod-exp
19426×add-cbrt-cube
13929×associate-*r*
13430×pow1
13371×associate-*r/
13148×frac-times
12420×div-exp
11378×cbrt-prod
11138×sqrt-prod
9545×associate-*l/
8538×associate-*l*
8441×distribute-lft-out--
8331×cbrt-div
8202×flip--
8201×flip3--
7721×add-log-exp
7576×difference-of-squares
7275×pow-exp
6641×frac-sub
6357×cbrt-unprod
5792×distribute-lft-out
5757×flip-+
5756×flip3-+
5595×associate-/r*
5477×unpow-prod-down
4712×associate-/l*
4188×div-inv
3941×cbrt-undiv
3917×pow-prod-down
3516×associate-/r/
3478×pow-to-exp
3191×sqrt-div
3180×unswap-sqr
2652×tanh-def
2591×log-prod
2472×sqrt-pow1
2377×frac-add
2153×cube-prod
1700×distribute-rgt-in distribute-lft-in
1664×sqr-pow
1634×exp-prod
1501×*-commutative
1465×swap-sqr
1252×sub-neg
1213×distribute-rgt-neg-in
1170×pow1/3
1023×associate-/l/
920×clear-num frac-2neg
877×sum-log
848×1-exp
843×pow1/2
826×pow-prod-up
821×rec-exp
736×distribute-lft-neg-in
732×log-pow
717×diff-log
609×associate-+l+
606×pow-sqr
595×pow-unpow
545×associate-+r+
478×+-commutative
446×associate--l+
440×unpow2
361×rem-sqrt-square
266×exp-sum
265×pow-plus div-sub
244×log-div
204×exp-diff
202×pow2
200×pow-pow
173×tan-quot
171×cube-div
167×associate-+l-
158×unpow3
156×rem-log-exp
154×cube-mult
127×neg-mul-1
120×neg-sub0
118×pow-flip
111×un-div-inv
105×associate--r+
104×pow-sub
102×inv-pow
92×distribute-rgt-out
68×exp-neg
61×rem-cube-cbrt
58×rem-exp-log
56×associate--l- distribute-lft-neg-out
53×associate-+r- sqrt-unprod distribute-rgt-neg-out
52×sin-mult
47×log-rec
46×cosh-def
45×neg-log
40×unsub-neg distribute-rgt-out--
38×cos-mult
37×difference-cubes
34×rem-square-sqrt
33×rem-cbrt-cube
32×sinh-def
31×distribute-frac-neg
29×cos-sum distribute-lft1-in
24×associate--r-
23×sub-div
21×cos-diff
17×sin-sum sin-diff distribute-neg-frac
14×acos-asin sum-cubes pow-neg distribute-neg-out
11×unpow1/3 distribute-rgt1-in
10×sin-cos-mult count-2
9×asin-acos
8×unpow-prod-up
7×sqrt-pow2 difference-of-sqr-1
6×exp-to-pow pow3
4×acos-neg distribute-neg-in
3×sqrt-undiv diff-cos
2×sqr-cos tan-sum sub-1-cos
1×tanh-undef e-exp-1 mul-1-neg diff-sin mul0 diff-atan cube-unmult

localize19.8s (0.7%)

end9.0ms (0.0%)

Profiling

Loading profile data...