Date:Saturday, February 29th, 2020
Commit:c75aaa3c on more-ival-tests
Hostname:warfa with Racket 7.5
Seed:2020060
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.9m (55.0%)

Algorithm
56×intervals
16×halfpoints
Results
23.2s67769×body1280valid
17.6s17371×body2560valid
7.7s42784×body640valid
4.0s13179×body10240exit
2.8s91935×body80valid
2.4s20746×body320valid
1.8s63877×body80nan
1.3s2236×body1280nan
818.0ms10734×body160valid
740.0ms1856×body640nan
571.0ms47410×pre80true
221.0ms906×body320nan
132.0ms461×body5120valid
64.0ms444×body160nan

series35.9s (17.7%)

Calls

402 calls:

1.6s
(- (/ (+ (tan x) (tan eps)) (/ (- 1 (pow (* (tan x) (tan eps)) 3)) (+ (* (* (tan x) (tan eps)) (+ (* (tan x) (tan eps)) 1)) 1))) (tan x))
1.3s
(- (+ (+ (/ (* (pow (sin x) 2) (pow (sin eps) 3)) (* (pow (cos x) 2) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (pow (cos eps) 3)))) (* (/ (pow (sin eps) 2) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (pow (cos eps) 2))) (+ (/ (sin x) (cos x)) (/ (pow (sin x) 3) (pow (cos x) 3))))) (/ (sin x) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (cos x)))) (/ (sin x) (cos x)))
485.0ms
(/ (/ 1.0 (* (fabs (cbrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (cbrt (+ (sqrt (+ x 1.0)) (sqrt x)))))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
479.0ms
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
477.0ms
(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))

prune34.2s (16.9%)

simplify10.1s (5.0%)

Algorithm
194×egg-herbie

rewrite4.7s (2.3%)

Algorithm
122×rewrite-expression-head
Calls

402 calls:

184.0ms
(cbrt N)
179.0ms
(/ (+ (/ (- (/ 1 a)) a) (/ (/ 1 b) b)) (- (/ 1 b) (/ 1 a)))
158.0ms
(+ (/ (- (/ 1 a)) a) (/ (/ 1 b) b))
99.0ms
(- (* (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))))) (* (cbrt x) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))))
94.0ms
(- (* (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))))) (* (cbrt x) (cbrt x)))
Rules
7461×*-un-lft-identity
7238×times-frac
6420×add-sqr-sqrt
3601×add-cube-cbrt
2039×sqrt-prod
1461×add-exp-log
1114×difference-of-squares
1095×distribute-lft-out
1046×add-cbrt-cube
879×unpow-prod-down
822×associate-*r*
783×distribute-lft-out--
741×add-log-exp
689×pow1
554×associate-*l*
527×associate-/l*
482×div-inv
430×associate-/r*
406×log-prod
397×sqr-pow
384×cbrt-prod
363×div-exp
343×prod-exp
304×associate-/r/
291×unswap-sqr
274×flip-- flip3--
273×cube-prod
221×distribute-rgt-neg-in
206×unpow2
203×cbrt-undiv
199×flip-+ flip3-+
194×cbrt-unprod
182×associate-*l/
124×diff-log
121×sub-neg
114×sqrt-div
111×associate-*r/
110×pow-exp
107×cbrt-div
102×pow-to-exp
98×associate-+l+
97×swap-sqr
95×frac-add
91×pow-unpow
85×pow-prod-down
84×associate-/l/
82×*-commutative
78×frac-times
74×frac-2neg clear-num
66×log-pow
64×sum-log
57×sqrt-pow1
53×pow1/3
52×distribute-lft-neg-in
51×associate-+r+
49×exp-sum 1-exp
46×rec-exp
40×frac-sub
39×pow1/2
35×rem-sqrt-square
34×+-commutative
32×distribute-rgt-in distribute-lft-in
29×log-div
28×difference-cubes
27×div-sub exp-prod
25×tan-quot
24×pow-pow complex-mul-def
21×unpow3 cube-mult rem-log-exp
20×distribute-rgt-out--
19×associate--l+
17×associate--r+
15×rem-cube-cbrt neg-sub0 associate-+l-
14×cube-div pow-flip
12×inv-pow cos-mult
10×pow-prod-up sum-cubes pow-sqr exp-to-pow
8×associate--l-
7×associate-+r-
6×neg-log un-div-inv pow2 difference-of-sqr-1 pow-plus exp-lft-cube *.c-commutative
5×sub-div
4×+.c-commutative complex-add-def neg-mul-1 sin-mult
3×rem-exp-log sqrt-unprod
2×pow-div exp-diff +-inverses pow-neg associate-+l+.c exp-neg pow-sub associate-*l*.c cos-sum tan-sum sin-sum
1×sin-cos-mult associate--r- diff-atan diff-cos sqr-cos distribute-frac-neg distribute-rgt-out rem-cbrt-cube frac-2neg.c distribute-neg-frac diff-sin

regimes3.0s (1.5%)

Accuracy

Total 22.2b remaining (10.7%)

Threshold costs 8.3b (4%)

3.7b86.9%quad2p (problem 3.2.1, positive)
3.3b0%expq3 (problem 3.4.2)
1.9b82%2nthrt (problem 3.4.6)
1.6b83.6%2cos (problem 3.3.5)
1.3b94.8%quad2m (problem 3.2.1, negative)

localize2.1s (1.0%)

bsearch1.1s (0.5%)

end1.0ms (0.0%)