Date:Tuesday, February 18th, 2020
Commit:5d186d9c on refactor-and-minor
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 (77.6%)

Algorithm
78×intervals
Results
7.1m48902×body10240exit
35.0s43619×body1280valid
11.5s30409×body640valid
7.3s204309×body80valid
4.8s27947×body320valid
4.7s152330×body80nan
3.2s187424×pre80true
3.1s36294×body160valid
779.0ms3068×body2560valid
402.0ms4183×pre10240exit
375.0ms7978×body160nan
110.0ms8496×pre80false
101.0ms206×body5120valid
1.0ms1×body640nan

prune1.1m (9.7%)

series47.2s (7.2%)

Calls

505 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)
783.0ms
(- (expm1 (log1p (pow (cos delta) 3))) (* (pow (sin phi1) 3) (pow (+ (* (sin delta) (* (cos phi1) (cos theta))) (* (sin phi1) (cos delta))) 3)))
742.0ms
(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))
741.0ms
(- (pow (cos delta) 3) (* (pow (sin phi1) 3) (pow (+ (* (sin delta) (* (cos phi1) (cos theta))) (* (sin phi1) (cos delta))) 3)))
684.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.9s (2.1%)

Algorithm
227×egg-herbie

rewrite9.8s (1.5%)

Algorithm
149×rewrite-expression-head
Calls

505 calls:

445.0ms
(* (- (/ (+ (* m (* 1.0 1.0)) (- (pow m 3))) (* v (+ 1.0 m))) 1.0) (- 1.0 m))
333.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
249.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
227.0ms
(* (- (/ (* m (- (pow 1.0 3) (pow m 3))) (* (fma 1.0 1.0 (fma m m (* 1.0 m))) v)) 1.0) m)
210.0ms
(log (+ x (sqrt (- (* x x) 1.0))))
Rules
11399×add-sqr-sqrt
11320×*-un-lft-identity
10907×times-frac
8141×add-cube-cbrt
5267×prod-diff
3908×add-exp-log
2043×unpow-prod-down
1971×add-cbrt-cube
1562×sqrt-prod
1470×distribute-rgt-neg-in
1440×difference-of-squares
1433×prod-exp
1381×div-exp
1296×distribute-lft-neg-in
1243×pow1
1051×cube-prod
980×associate--r+
902×associate-*r*
855×distribute-lft-out--
802×associate-/l*
747×add-log-exp
728×sqr-pow
696×distribute-rgt-in distribute-lft-in
664×pow-exp
663×distribute-lft-out
599×associate-/r*
595×div-inv
577×cbrt-prod
562×associate-/r/
525×associate-*l*
507×expm1-log1p-u
506×log1p-expm1-u
497×cbrt-unprod
483×pow-to-exp
478×cbrt-undiv
421×fma-neg
353×flip--
352×flip3--
341×neg-mul-1
310×pow-prod-down
263×log-prod
260×fma-def
257×flip-+
256×flip3-+
221×cube-mult
219×unpow3
207×unswap-sqr
186×associate-*r/
177×frac-times
145×log-pow
138×clear-num frac-2neg
135×1-exp
112×associate-*l/
107×sub-neg
102×associate-/l/
99×pow-unpow *-commutative
98×exp-prod
85×rec-exp
81×diff-log
68×swap-sqr
64×sqrt-div
62×cbrt-div
58×div-sub log-div
56×unpow2
53×associate-+l+
48×cos-sum
47×sum-log
46×exp-sum
42×sqrt-pow1
38×neg-sub0
37×pow-pow
36×+-commutative sin-mult
34×sin-sum
33×pow1/2 pow-sqr pow-prod-up
30×pow-flip pow1/3
29×cos-mult
28×rem-log-exp
27×rem-sqrt-square
23×fma-udef
22×cube-div
21×rem-cube-cbrt
20×neg-log
19×associate-+r+ sin-diff
18×associate--l- inv-pow frac-sub associate-+l-
16×pow-plus tan-quot
14×cos-diff distribute-rgt-out
13×distribute-frac-neg
12×frac-add acos-asin
11×associate--l+
10×rem-exp-log difference-cubes pow2 associate--r-
8×exp-diff sin-cos-mult associate-+r- sub-div distribute-rgt-neg-out
7×expm1-udef
6×acos-neg
5×sum-cubes expm1-log1p
4×rem-cbrt-cube
3×sin-neg hypot-udef
2×un-div-inv log1p-udef distribute-lft1-in log1p-expm1 unsub-neg distribute-neg-frac exp-to-pow
1×distribute-neg-out sqrt-undiv sqrt-pow2 distribute-rgt-out-- hypot-def sqrt-unprod asin-acos

regimes9.4s (1.4%)

Accuracy

Total 32.6b remaining (26.4%)

Threshold costs 6.5b (5.2%)

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.5s (0.4%)

bsearch831.0ms (0.1%)

end1.0ms (0.0%)