Date:Sunday, May 10th, 2020
Commit:c1e4db38 on master
Hostname:warfa with Racket 7.5
Seed:2020131
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.8m (52.2%)

Algorithm
56×intervals
16×halfpoints
Results
25.1s67209×body1280valid
17.9s17010×body2560valid
9.0s42919×body640valid
3.6s92064×body80valid
2.8s20828×body320valid
2.4s65121×body80nan
1.2s1136×body1280nan
1.1s15797×body80overflowed
979.0ms11072×body160valid
718.0ms47307×pre80true
661.0ms951×body640nan
187.0ms463×body320nan
169.0ms476×body5120valid
49.0ms235×body160nan

series45.2s (21.3%)

Calls

395 calls:

1.5s
(- (/ (+ (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
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* 1/6 (pow (* b eps) 3)) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b)))))
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)))
859.0ms
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
851.0ms
(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))

prune34.0s (16.0%)

Filtered
14799 candidates to 9453 candidates (63.9%)

simplify11.5s (5.4%)

Algorithm
195×egg-herbie

rewrite4.3s (2.0%)

Algorithm
123×rewrite-expression-head
Calls

395 calls:

123.0ms
(* (cbrt (/ 1.0 (/ (+ x 1.0) (- 0 1.0)))) (cbrt (/ 1.0 (/ (+ x 1.0) (- 0 1.0)))))
67.0ms
(/ (/ 1 (/ (/ (- (exp (log (sqrt (- (* b_2 b_2) (* a c))))) b_2) a) c)) a)
64.0ms
(log (exp (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x))))
59.0ms
(/ (/ 1 (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) c)) a)
56.0ms
(- (/ (+ (tan x) (tan eps)) (/ (- 1 (pow (* (tan x) (tan eps)) 3)) (+ (* (* (tan x) (tan eps)) (+ (* (tan x) (tan eps)) 1)) 1))) (tan x))
Rules
12684×times-frac
9550×add-sqr-sqrt
9515×*-un-lft-identity
5843×add-cube-cbrt
1621×difference-of-squares
1317×add-exp-log
1263×sqrt-prod
1065×distribute-lft-out--
1016×cbrt-prod
972×associate-/l*
959×add-cbrt-cube associate-*r*
885×unpow-prod-down
774×distribute-lft-out
746×add-log-exp
631×pow1
522×associate-*l*
433×sqr-pow
420×log-prod
402×cube-prod
396×exp-prod
381×log-pow
328×associate-/r*
318×div-inv
314×div-exp
313×prod-exp
303×unswap-sqr
282×flip3-- flip--
266×associate-/r/
265×exp-sum
238×swap-sqr
188×cbrt-undiv
160×cbrt-unprod
145×sub-neg
144×diff-log unpow2
139×flip-+ flip3-+
122×associate-*l/
107×distribute-rgt-neg-in
103×pow-exp
98×pow-to-exp
80×associate-/l/
79×associate-*r/
75×pow-prod-down
70×sqrt-div *-commutative
69×clear-num frac-2neg
60×cbrt-div
56×pow1/3 frac-times
50×sqrt-pow1
48×sum-log
43×frac-add log-div unpow3 cube-mult
42×pow1/2
35×frac-sub
33×pow-unpow
32×distribute-rgt-in distribute-lft-in
31×1-exp
30×rec-exp
29×rem-sqrt-square
28×associate--l+
27×div-sub
26×tan-quot
24×complex-mul-def
23×+-commutative
21×rem-log-exp
20×exp-diff
19×associate--l-
18×difference-cubes
17×neg-sub0
16×cube-div associate-+l+
15×pow-prod-up associate--r+
14×rem-cube-cbrt
13×pow-pow pow-sqr
12×neg-log
10×associate-+l-
8×sin-mult
7×pow-flip cos-mult
6×rem-exp-log *.c-commutative exp-to-pow
5×sqrt-unprod inv-pow sub-div pow2 pow-plus
4×mul-1-neg un-div-inv distribute-rgt-out-- +.c-commutative associate-+r+ complex-add-def
2×sin-cos-mult associate-+l+.c associate-+r- associate--r- exp-neg difference-of-sqr-1 unsub-neg associate-*l*.c tan-sum cos-sum frac-2neg.c sin-sum
1×rem-cbrt-cube diff-atan diff-cos rem-square-sqrt sqrt-undiv diff-sin

regimes3.4s (1.6%)

Accuracy

Total 26.4b remaining (12.7%)

Threshold costs 6.3b (3%)

3.3b88.3%quadm (p42, negative)
3.3b0%expq3 (problem 3.4.2)
3.1b87.9%quad2p (problem 3.2.1, positive)
3.0b88.9%quad2m (problem 3.2.1, negative)
2.1b91.6%quadp (p42, positive)

localize1.9s (0.9%)

bsearch1.2s (0.5%)

end1.0ms (0.0%)

Profiling

Loading profile data...