Date:Wednesday, April 1st, 2020
Commit:71d48594 on master
Hostname:warfa with Racket 7.5
Seed:2020092
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

sample11.3m (84.9%)

Algorithm
78×intervals
Results
9.9m62156×body10240exit
33.4s43324×body1280valid
11.0s30605×body640valid
7.3s205127×body80valid
4.8s151877×body80nan
4.6s27874×body320valid
3.6s206115×pre80true
3.1s36222×body160valid
754.0ms3017×body2560valid
368.0ms8100×body160nan
218.0ms16536×pre80false
102.0ms196×body5120valid

series46.6s (5.8%)

Calls

488 calls:

1.6s
(cbrt (pow (pow (pow (log (+ 1.0 (exp x))) (sqrt 3)) (sqrt (sqrt 3))) (sqrt (sqrt 3))))
988.0ms
(pow (pow (pow (log (+ 1.0 (exp x))) (sqrt 3)) (sqrt (sqrt 3))) (sqrt (sqrt 3)))
848.0ms
(cbrt (pow (pow (log (+ 1.0 (exp x))) (sqrt 3)) (sqrt 3)))
749.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
591.0ms
(pow (pow (log (+ 1.0 (exp x))) (sqrt 3)) (sqrt (sqrt 3)))

prune42.8s (5.4%)

Filtered
18717 candidates to 11705 candidates (62.5%)

simplify13.2s (1.7%)

Algorithm
225×egg-herbie

regimes10.2s (1.3%)

Accuracy

Total 35.8b remaining (26.9%)

Threshold costs 5.4b (4.1%)

6.6b42.9%Quotient of products
6.1b56.4%Cubic critical, narrow range
5.3b80.5%Cubic critical
4.8b30.4%Cubic critical, medium range
3.6b0%Cubic critical, wide range

rewrite4.6s (0.6%)

Algorithm
147×rewrite-expression-head
Calls

488 calls:

53.0ms
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))
50.0ms
(- (/ 1.0 (fma (tan x) (tan x) 1.0)) (/ (tan x) (/ (fma (tan x) (tan x) 1.0) (tan x))))
42.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
42.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))
38.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
Rules
8085×*-un-lft-identity
7424×add-sqr-sqrt
7137×times-frac
5778×add-cube-cbrt
3208×prod-diff
2628×add-exp-log
1776×add-cbrt-cube
1272×sqrt-prod
984×associate-*r*
900×pow1
831×prod-exp
793×div-exp
740×add-log-exp
712×unpow-prod-down
651×difference-of-squares
610×distribute-lft-out
566×distribute-rgt-neg-in
539×associate-/r*
538×distribute-lft-out--
518×associate-/l*
494×div-inv
493×expm1-log1p-u
491×log1p-expm1-u
482×associate-*l*
438×distribute-lft-neg-in
430×cbrt-undiv
413×cbrt-unprod associate-/r/
370×cube-prod
334×fma-neg
328×pow-exp
306×distribute-rgt-in distribute-lft-in
279×cbrt-prod
246×fma-def
240×flip--
239×flip3--
234×pow-to-exp
229×sqr-pow
191×flip-+
190×flip3-+
188×unswap-sqr
149×log-prod
146×neg-mul-1
139×pow-prod-down
131×associate-/l/
123×associate-*r/
119×clear-num frac-2neg
111×log-pow
95×sub-neg
94×*-commutative
88×exp-prod
85×diff-log
78×sqrt-div
77×tan-quot
69×associate-*l/
67×frac-times
64×pow-unpow
59×pow1/3
58×cos-sum
48×sum-log div-sub
46×unpow3 cube-mult exp-sum
43×1-exp sqrt-pow1 log-div
39×rec-exp
38×swap-sqr
34×pow1/2
32×neg-sub0
30×rem-sqrt-square +-commutative
29×unpow2
23×sin-sum
22×fma-udef cbrt-div
21×cos-diff neg-log frac-sub
20×frac-add associate--l+
19×rem-log-exp
18×associate-+l- sin-diff
17×associate--l-
15×pow-pow
14×pow-prod-up pow-sqr pow-flip distribute-rgt-out associate--r+
13×sin-cos-mult
12×sin-mult cos-mult
11×expm1-udef
10×expm1-log1p associate-+r+
9×rem-cube-cbrt difference-cubes pow-plus pow2 associate-+r- acos-asin
8×cube-div rem-exp-log inv-pow
7×log1p-udef distribute-frac-neg
6×log1p-expm1 associate--r-
5×exp-diff acos-neg un-div-inv
4×rem-cbrt-cube
3×associate-+l+ unpow-prod-up distribute-rgt-neg-out
2×log1p-def distribute-lft1-in hypot-udef asin-acos
1×e-exp-1 unsub-neg hypot-def sqrt-unprod exp-to-pow

localize2.3s (0.3%)

bsearch555.0ms (0.1%)

end1.0ms (0.0%)