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:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample11.3m (84.7%)

Algorithm
78×intervals
Results
9.9m61909×body10240exit
33.4s43324×body1280valid
11.2s30605×body640valid
7.2s205109×body80valid
4.8s151877×body80nan
4.6s27874×body320valid
3.6s205850×pre80true
3.1s36222×body160valid
780.0ms3017×body2560valid
375.0ms8100×body160nan
226.0ms16536×pre80false
103.0ms196×body5120valid

series48.3s (6.0%)

Calls

513 calls:

1.4s
(cbrt (pow (pow (pow (log (+ 1.0 (exp x))) (sqrt 3)) (sqrt (sqrt 3))) (sqrt (sqrt 3))))
1.0s
(pow (pow (pow (log (+ 1.0 (exp x))) (sqrt 3)) (sqrt (sqrt 3))) (sqrt (sqrt 3)))
817.0ms
(cbrt (pow (pow (log (+ 1.0 (exp x))) (sqrt 3)) (sqrt 3)))
754.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)))
709.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (+ (* c_p (+ (log 0.5) (* 0.5 t))) 1) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

prune42.2s (5.3%)

Filtered
17590 candidates to 10984 candidates (62.4%)

simplify13.7s (1.7%)

Algorithm
224×egg-herbie

regimes9.2s (1.1%)

Accuracy

Total 37.9b remaining (28.8%)

Threshold costs 6.6b (5%)

15.4b25.7%Equirectangular approximation to distance on a great circle
6.6b42.9%Quotient of products
5.3b80.5%Cubic critical
1.6b93.2%Quadratic roots, full range
1.3b0%2-ancestry mixing, positive discriminant

rewrite5.7s (0.7%)

Algorithm
146×rewrite-expression-head
Calls

513 calls:

73.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
71.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
66.0ms
(- (/ (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt (+ 1.0 (exp (* -2.0 x))))) 1.0)
56.0ms
(* (/ 4.0 (/ 2.0 (* a c))) (/ (/ 1 (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) a))
52.0ms
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))
Rules
7474×times-frac
6716×add-sqr-sqrt
6476×*-un-lft-identity
4386×add-cube-cbrt
3220×add-exp-log
1971×add-cbrt-cube
1932×sqrt-prod
1569×associate-*r*
1081×pow1
1074×prod-exp
1015×div-exp
930×associate-*l/
865×flip--
864×flip3--
855×difference-of-squares
826×associate-/l*
825×add-log-exp
803×unpow-prod-down
732×distribute-lft-out--
593×associate-/r*
553×frac-times
497×cbrt-unprod
492×cbrt-undiv
484×associate-*l*
427×frac-add
420×associate-*r/
401×pow-exp
387×div-inv
384×cube-prod
368×sqrt-div
355×distribute-rgt-neg-in
320×distribute-lft-out
296×pow-to-exp
254×unswap-sqr
253×sqr-pow
241×log-div
237×cbrt-prod associate-/r/
226×pow-prod-down
188×flip-+
187×associate-/l/ flip3-+
157×log-prod
127×clear-num frac-2neg
122×sub-neg
118×*-commutative
107×diff-log
103×exp-prod
96×log-pow cos-mult
90×sin-mult
83×pow-unpow
78×unpow3 cube-mult
75×distribute-lft-neg-in
74×exp-diff
70×pow-sub
63×div-sub frac-sub
59×sum-log
55×1-exp
53×rec-exp
51×pow1/3
48×distribute-rgt-in distribute-lft-in
43×sin-cos-mult
38×neg-sub0
37×swap-sqr
36×+-commutative
34×exp-sum
33×pow1/2 sqrt-pow1
32×unpow2
30×rem-sqrt-square
29×associate-+l-
25×cbrt-div neg-mul-1 pow-pow
24×pow-prod-up pow-sqr
23×neg-log
22×cos-diff
21×sub-div
19×rem-log-exp
18×associate--l- associate--l+ sin-diff
17×associate--r+
16×tan-quot
15×cos-sum rem-exp-log
14×pow-plus
13×associate-+r+ distribute-rgt-out
11×pow2
9×rem-cube-cbrt associate-+r- acos-asin
8×associate-+l+ distribute-frac-neg associate--r-
7×sin-sum
6×un-div-inv unpow-prod-up pow-flip
5×acos-neg inv-pow asin-acos
4×sqrt-undiv
3×sqrt-unprod rem-cbrt-cube distribute-rgt-neg-out
2×difference-cubes distribute-lft1-in unsub-neg pow-neg exp-to-pow
1×cube-div e-exp-1 tanh-undef tanh-def

localize2.5s (0.3%)

bsearch536.0ms (0.1%)

end1.0ms (0.0%)