Date:Tuesday, February 18th, 2020
Commit:3b7244d2 on master
Hostname:warfa with Racket 7.5
Seed:2020049
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

sample8.5m (78.0%)

Algorithm
78×intervals
Results
7.1m48902×body10240exit
34.5s43619×body1280valid
11.2s30409×body640valid
7.1s204309×body80valid
4.6s152330×body80nan
4.6s27947×body320valid
3.2s187424×pre80true
3.1s36294×body160valid
789.0ms3068×body2560valid
404.0ms4183×pre10240exit
361.0ms7978×body160nan
107.0ms206×body5120valid
95.0ms8496×pre80false
1.0ms1×body640nan

prune59.9s (9.2%)

series47.6s (7.3%)

Calls

508 calls:

1.1s
(* (hypot (* (- (* (cos (* phi2 0.5)) (cos (* phi1 0.5))) (* (sin (* phi2 0.5)) (sin (* phi1 0.5)))) (- lambda1 lambda2)) (- phi1 phi2)) R)
773.0ms
(- (expm1 (log1p (pow (cos delta) 3))) (* (pow (sin phi1) 3) (pow (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) 3)))
734.0ms
(- (pow (cos delta) 3) (* (pow (sin phi1) 3) (pow (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) 3)))
731.0ms
(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))
683.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

simplify13.7s (2.1%)

Algorithm
227×egg-herbie

rewrite9.6s (1.5%)

Algorithm
149×rewrite-expression-head
Calls

508 calls:

430.0ms
(* (- (/ (+ (* m (* 1.0 1.0)) (- (pow m 3))) (* v (+ 1.0 m))) 1.0) (- 1.0 m))
336.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
252.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
220.0ms
(* (- (/ (* m (- (pow 1.0 3) (pow m 3))) (* (fma 1.0 1.0 (fma m m (* 1.0 m))) v)) 1.0) m)
212.0ms
(- (/ (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt (+ 1.0 (exp (* -2.0 x))))) 1.0)
Rules
11973×*-un-lft-identity
11420×add-sqr-sqrt
11394×times-frac
8505×add-cube-cbrt
5846×prod-diff
3896×add-exp-log
2447×sqrt-prod
1962×add-cbrt-cube
1762×unpow-prod-down
1450×prod-exp
1356×div-exp
1307×difference-of-squares
1239×pow1
1128×distribute-rgt-neg-in
979×associate--r+
972×distribute-lft-neg-in
938×distribute-lft-out
846×associate-*r*
759×cube-prod
744×add-log-exp
717×distribute-lft-out--
697×distribute-rgt-in sqr-pow distribute-lft-in
651×pow-exp
650×associate-/l*
633×associate-/r/
614×fma-neg
590×div-inv
570×associate-/r*
522×associate-*l*
510×expm1-log1p-u
509×log1p-expm1-u
503×cbrt-unprod
474×pow-to-exp
465×cbrt-undiv
394×cbrt-prod
349×flip--
348×flip3--
323×neg-mul-1
309×pow-prod-down
296×flip-+
295×flip3-+
258×log-prod
236×fma-def
185×frac-times
183×cube-mult
181×unpow3 associate-*r/
164×unswap-sqr
148×sqrt-div
136×log-pow
134×clear-num 1-exp frac-2neg
117×associate-*l/
106×sub-neg
102×pow-unpow
99×associate-/l/ *-commutative
94×exp-prod rec-exp
78×diff-log
66×cbrt-div
58×log-div
56×unpow2
50×associate-+l+
49×div-sub
47×cos-sum
46×sum-log
44×swap-sqr
37×pow1/3 exp-sum
36×+-commutative pow-pow
35×neg-sub0 sin-mult
34×sin-sum
33×sqrt-pow1
32×pow-sqr pow-prod-up
30×pow1/2 pow-flip
28×fma-udef rem-log-exp
27×cos-mult
25×cube-div rem-sqrt-square
22×associate-+r+
21×rem-cube-cbrt
20×neg-log
19×sin-diff
18×associate--l- frac-sub associate-+l-
17×inv-pow
16×tan-quot
15×pow-plus
14×cos-diff distribute-rgt-out
12×difference-cubes frac-add
11×associate--l+
10×associate--r-
9×associate-+r- pow2 acos-asin
8×sub-div
7×rem-exp-log exp-diff distribute-frac-neg expm1-udef
6×sin-cos-mult un-div-inv distribute-rgt-neg-out
5×sum-cubes expm1-log1p rem-cbrt-cube
3×acos-neg hypot-udef
2×log1p-udef distribute-lft1-in log1p-expm1 unsub-neg distribute-neg-frac
1×distribute-neg-out sqrt-undiv sin-neg distribute-rgt-out-- hypot-def sqrt-unprod asin-acos exp-to-pow

regimes9.3s (1.4%)

Accuracy

Total 32.8b remaining (26.5%)

Threshold costs 6.7b (5.4%)

5.9b56.3%Cubic critical, narrow range
5.0b54.1%Quotient of products
4.8b26.8%Cubic critical, medium range
3.0b13.8%Cubic critical, wide range
2.8b89.7%Cubic critical

localize2.4s (0.4%)

bsearch785.0ms (0.1%)

end1.0ms (0.0%)