Date:Monday, March 2nd, 2020
Commit:957f66ec on more-ival-tests
Hostname:warfa with Racket 7.5
Seed:2020062
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.1m (33.2%)

Algorithm
60×intervals
Results
23.6s334172×body80valid
8.7s208566×body80nan
7.1s21199×body1280valid
2.7s11049×body640valid
2.6s5409×body2560valid
840.0ms5064×body320valid
406.0ms16512×pre80true
308.0ms2627×body160valid
63.0ms237×body5120valid

prune50.5s (25.4%)

series48.6s (24.5%)

Calls

353 calls:

3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
887.0ms
(* (sqrt (+ (sqrt x) (sqrt 1.0))) (* (sqrt (- (sqrt x) (sqrt 1.0))) (sqrt x)))
678.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
628.0ms
(/ (pow (exp (- (+ (sqrt 1.0) x))) (sqrt 1.0)) (pow (exp (- (+ (sqrt 1.0) x))) x))

regimes14.8s (7.5%)

Accuracy

Total 42.5b remaining (26.6%)

Threshold costs 5.0b (3.1%)

14.0b-27.3%Linear.Matrix:det44 from linear-1.19.1.3
4.8b31.8%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
4.5b-6.2%Linear.Matrix:det33 from linear-1.19.1.3
4.2b-24.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.7b0%cos(2*x)/(cos^2(x)*sin^2(x))

simplify8.4s (4.2%)

Algorithm
164×egg-herbie

rewrite3.9s (2.0%)

Algorithm
104×rewrite-expression-head
Calls

353 calls:

142.0ms
(* (* x (/ (pow (/ (* (cbrt 1) (cbrt 1)) 1) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (/ (pow (/ (cbrt 1) a) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y))
68.0ms
(/ (+ (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (* (* (cbrt (cbrt (* (+ (* x y) z) y))) (cbrt (cbrt (* (+ (* x y) z) y)))) (cbrt (cbrt (* (+ (* x y) z) y))))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
58.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
53.0ms
(/ (* (* x (/ (pow (/ (* (cbrt 1) (cbrt 1)) 1) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (pow (/ (cbrt 1) a) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
46.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i))
Rules
8754×times-frac
6037×add-sqr-sqrt
5784×*-un-lft-identity
4779×add-cube-cbrt
3585×add-exp-log
2151×prod-exp
1620×cbrt-prod
1397×associate-*r*
1293×unpow-prod-down
1238×add-cbrt-cube
927×associate-*r/
914×associate-*l/
862×sqrt-prod
858×pow1
794×flip-- flip3--
709×div-exp
648×distribute-rgt-neg-in
621×distribute-lft-neg-in
593×frac-sub
569×add-log-exp
564×cube-prod
558×pow-exp
515×associate-*l*
509×frac-times
480×pow-to-exp
446×associate-/l*
435×difference-of-squares
392×cbrt-unprod
374×sqrt-div
363×distribute-lft-out--
354×div-inv
293×associate-/r*
238×flip-+ flip3-+
217×pow-prod-down
209×associate-/l/
196×neg-mul-1
194×cbrt-undiv
175×log-prod
171×distribute-lft-out unswap-sqr
166×distribute-rgt-in distribute-lft-in
134×sub-neg
129×cbrt-div
123×exp-sum
121×associate-/r/
120×*-commutative
119×sqr-pow
104×exp-prod
76×sum-log
70×pow1/3
63×pow-pow
61×clear-num frac-2neg
56×diff-log
51×1-exp
50×log-pow
46×pow1/2 sqrt-pow1
45×associate-+l+
43×associate-+r+
37×pow-unpow
33×swap-sqr
31×rem-sqrt-square sin-mult
29×associate--r+
28×rec-exp
27×+-commutative
25×distribute-neg-in
24×unpow3 cube-mult cos-mult associate-+l- unpow2
23×frac-add
21×tan-quot
20×neg-log
19×neg-sub0
18×pow-prod-up associate--l+
16×pow-sqr distribute-neg-frac
15×rem-exp-log
14×log-div
13×cube-div inv-pow associate-+r- sub-div pow-flip
12×un-div-inv
11×distribute-lft-neg-out
10×unpow-prod-up
9×associate--l-
8×pow-plus log-rec
7×pow-sub div-sub
6×exp-diff pow2
5×sqrt-unprod
4×rem-cube-cbrt exp-neg
3×rem-cbrt-cube distribute-rgt-neg-out
2×cos-sum unsub-neg distribute-frac-neg tan-sum rem-log-exp
1×pow-div unpow1/3 rem-square-sqrt exp-to-pow

bsearch3.6s (1.8%)

localize2.7s (1.4%)

end0.0ms (0.0%)