Date:Wednesday, March 18th, 2020
Commit:1a959946 on master
Hostname:warfa with Racket 7.5
Seed:2020078
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

prune33.8s (29.5%)

Filtered
14977 candidates to 8525 candidates (56.9%)

sample32.5s (28.3%)

Algorithm
73×intervals
Results
9.6s294110×body80valid
5.2s14390×body1280valid
2.6s3933×body2560valid
1.9s9503×body640valid
1.8s16788×body160valid
1.4s100659×pre80true
973.0ms2102×body10240exit
747.0ms6836×body320valid
557.0ms19587×body80nan
101.0ms235×body5120valid
3.0ms100×pre80false

series29.4s (25.7%)

Calls

283 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
730.0ms
(cbrt (fma i 1.0 (- (fma 0.5 (pow i 2) (* (log 1.0) n)) (* 0.5 (* (pow i 2) (log 1.0))))))
725.0ms
(cbrt (fma i 1.0 (- (fma 0.5 (pow i 2) (* (log 1.0) n)) (* 0.5 (* (pow i 2) (log 1.0))))))
724.0ms
(cbrt (fma i 1.0 (- (fma 0.5 (pow i 2) (* (log 1.0) n)) (* 0.5 (* (pow i 2) (log 1.0))))))
539.0ms
(cbrt (pow (- (* 9.0 (* (pow (/ 1 (pow -1 4.0)) 1.0) (pow x 4))) (pow y 4)) 3))

simplify10.4s (9.1%)

Algorithm
174×egg-herbie

rewrite3.3s (2.9%)

Algorithm
104×rewrite-expression-head
Calls

283 calls:

67.0ms
(- (/ 1.0 (pow x 5)) (/ 1.0 (pow x 3)))
65.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
54.0ms
(* (/ (- t1) (+ t1 u)) (/ 1 (/ (+ t1 u) v)))
47.0ms
(* (* (* (/ PI 2.0) (/ (sqrt 1.0) (+ b a))) (/ (sqrt 1.0) (- b a))) (- (/ 1.0 a) (/ 1.0 b)))
36.0ms
(* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b)))
Rules
11349×times-frac
9829×*-un-lft-identity
8300×add-sqr-sqrt
7277×add-cube-cbrt
4102×prod-diff
1631×add-exp-log
1283×add-cbrt-cube
1051×distribute-lft-out
865×unpow-prod-down
719×div-inv
655×pow1
617×associate-*r*
569×distribute-rgt-in distribute-lft-in
545×add-log-exp
527×prod-exp
445×div-exp
440×associate-/r/
431×associate-/l*
407×associate-*l*
362×difference-of-squares
352×cbrt-unprod
348×associate-/r*
336×sqr-pow
321×cbrt-undiv
301×flip-+ flip3-+
285×log1p-expm1-u
284×expm1-log1p-u
277×cube-prod
255×distribute-lft-out--
229×sqrt-prod
223×cbrt-prod
200×fma-neg
145×pow-prod-down distribute-rgt-neg-in
138×frac-times
127×log-pow
126×distribute-lft-neg-in cbrt-div
121×unswap-sqr
114×sum-log
110×associate-*r/
107×flip3-- flip--
102×exp-prod
100×unpow3 fma-def cube-mult associate-*l/
86×swap-sqr
82×1-exp
74×clear-num frac-2neg
67×associate-/l/ *-commutative
58×sub-neg
52×log-prod
44×fma-udef
43×diff-log
42×neg-mul-1
40×rec-exp
39×sqrt-div
26×pow1/3 div-sub
25×+-commutative
23×pow-prod-up
21×frac-sub pow-exp
19×pow-sqr pow-to-exp pow-plus
14×associate-+r+ pow2
13×pow1/2 sqrt-pow1
12×rem-sqrt-square frac-add associate--r+
10×unpow2 neg-sub0
8×associate-+l+
7×pow-flip
6×neg-log rem-log-exp log-div
5×associate--l- inv-pow distribute-frac-neg associate-+l-
4×cube-div un-div-inv
3×pow-unpow distribute-lft-neg-out expm1-log1p expm1-udef
2×log1p-udef log1p-expm1 hypot-udef hypot-def rem-cbrt-cube
1×rem-exp-log pow3 distribute-rgt-out exp-sum associate--l+ pow-pow

regimes2.9s (2.6%)

Accuracy

Total 29.4b remaining (10.4%)

Threshold costs 3.5b (1.2%)

7.0b36.4%Complex division, real part
6.0b65.5%Compound Interest
4.4b84.4%The quadratic formula (r2)
3.7b58.4%Complex division, imag part
3.4b88.2%The quadratic formula (r1)

localize1.3s (1.1%)

bsearch977.0ms (0.9%)

end1.0ms (0.0%)