Date:Wednesday, April 22nd, 2020
Commit:1c116713 on better-rr
Hostname:warfa with Racket 7.5
Seed:2020113
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

prune4.6m (51.9%)

Filtered
118812 candidates to 63897 candidates (53.8%)

sample2.2m (25.0%)

Algorithm
77×intervals
Results
50.9s17381×body10240exit
34.0s42968×body1280valid
11.4s30564×body640valid
7.1s202565×body80valid
4.9s151340×body80nan
4.7s27627×body320valid
3.3s36404×body160valid
2.8s157641×pre80true
764.0ms2909×body2560valid
368.0ms7896×body160nan
235.0ms16845×pre80false
53.0ms179×body5120valid

rewrite37.4s (7.1%)

Algorithm
143×rewrite-expression-head
Calls

450 calls:

12.1s
(* (/ (* a1 (* (cbrt 1) (cbrt 1))) (* b1 (* (cbrt b2) (cbrt (* (cbrt b2) (cbrt b2)))))) (/ (* (cbrt a2) (cbrt a2)) (cbrt (cbrt b2))))
976.0ms
(* (/ (* -1.5 (/ (sqrt a) (sqrt b))) a) (/ (/ (* (sqrt a) c) (sqrt b)) 3.0))
818.0ms
(/ (* -2.0 (/ 1 (sqrt b))) (/ (* 2.0 a) (/ (* a c) (sqrt b))))
164.0ms
(/ (* a1 (* (cbrt 1) (cbrt 1))) (* b1 (* (cbrt b2) (cbrt (* (cbrt b2) (cbrt b2))))))
115.0ms
(* (/ (+ (fabs b) (fabs a)) (sqrt a)) (/ (- (/ (fabs a) a) (/ (fabs b) a)) (sqrt a)))
Rules
231194×add-sqr-sqrt
189607×times-frac
95850×*-un-lft-identity
91170×unswap-sqr
87864×associate-*r*
79016×cbrt-prod
78098×add-cube-cbrt
47620×associate-*l*
44039×sqrt-prod
28770×associate-/l*
19273×frac-times
15495×*-commutative
14488×swap-sqr
12895×associate-/r*
9138×prod-diff
6571×associate-/l/
4011×add-cbrt-cube
3751×difference-of-squares
3026×associate-*r/
2526×cbrt-unprod
2207×div-inv
2145×add-exp-log
1959×distribute-lft-out--
1832×clear-num
1789×frac-sub
1774×distribute-lft-out
1694×frac-2neg
1405×associate-/r/
1245×cbrt-undiv
1084×frac-add
995×distribute-rgt-neg-in
960×pow1
856×distribute-lft-neg-in
789×associate-*l/
771×flip--
770×flip3--
679×add-log-exp
650×unpow-prod-down
597×prod-exp
567×div-exp
507×flip-+
506×flip3-+
466×fma-neg
453×expm1-log1p-u
452×log1p-expm1-u
390×cbrt-div
372×fma-def
353×un-div-inv
330×distribute-rgt-in distribute-lft-in
268×log-div
235×log-prod
211×exp-prod
194×pow-prod-down
190×neg-mul-1
180×log-pow
176×sqr-pow
131×sqrt-pow1
121×sub-div
118×sqrt-div
95×unpow3
70×sub-neg
67×pow1/2
64×sum-log
57×cos-sum
54×+-commutative
52×diff-log
49×pow-unpow
47×pow1/3 div-sub
44×associate--l+
43×pow-exp
39×pow-prod-up
37×pow-to-exp
35×pow-sqr
33×distribute-rgt-out rem-log-exp
32×unpow2
31×rem-sqrt-square associate-+r+
30×distribute-rgt-out--
29×exp-sum
26×associate--r+
25×associate-+l- neg-sub0
24×sin-sum
22×fma-udef 1-exp
21×tan-quot
20×rec-exp
18×pow-pow sin-diff
17×cos-diff
15×associate-+r- cos-mult exp-to-pow
14×neg-log
13×rem-cube-cbrt rem-exp-log
12×pow-flip log-rec
11×sin-mult
10×sin-cos-mult associate-+l+
9×pow2 pow-plus distribute-frac-neg acos-asin
8×inv-pow
7×exp-diff
6×hypot-def asin-acos associate--r-
5×associate--l-
4×difference-cubes distribute-lft1-in sqrt-unprod expm1-log1p remove-double-div rem-cbrt-cube distribute-rgt-neg-out distribute-neg-frac
3×acos-neg log1p-udef log1p-expm1 unsub-neg unpow-prod-up expm1-udef
2×sqrt-undiv
1×e-exp-1 sin-neg exp-lft-sqr distribute-lft-neg-out hypot-udef rem-square-sqrt

series35.9s (6.8%)

Calls

450 calls:

762.0ms
(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))
459.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R)
387.0ms
(* (cbrt (sqrt 2.0)) (cbrt (- (* (sqrt 2.0) a))))
351.0ms
(* (* m (+ (sqrt 1.0) (sqrt m))) (/ (- (sqrt 1.0) (sqrt m)) v))
350.0ms
(* (/ 1 a) (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))

simplify35.0s (6.6%)

Algorithm
219×egg-herbie

regimes11.2s (2.1%)

Accuracy

Total 47.1b remaining (31.1%)

Threshold costs 6.2b (4.1%)

6.0b57.3%Quadratic roots, narrow range
6.0b57%Cubic critical, narrow range
4.9b29%Quadratic roots, medium range
4.9b29.4%Cubic critical, medium range
4.6b83.2%Cubic critical

localize2.2s (0.4%)

bsearch333.0ms (0.1%)

end1.0ms (0.0%)