Date:Saturday, February 22nd, 2020
Commit:72c1b946 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020053
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

sample9.5m (81.4%)

Algorithm
78×intervals
Results
8.1m53175×body10240exit
33.5s43107×body1280valid
11.4s30853×body640valid
7.1s204741×body80valid
4.6s151949×body80nan
4.5s27640×body320valid
3.4s193177×pre80true
3.1s36395×body160valid
806.0ms3099×body2560valid
410.0ms4145×pre10240exit
366.0ms8021×body160nan
124.0ms236×body5120valid
96.0ms8234×pre80false

prune53.4s (7.6%)

Filtered
19718 candidates to 12012 candidates (60.9%)

series42.7s (6.1%)

Calls

494 calls:

698.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)))
594.0ms
(* (hypot (* (cos (* 0.5 (+ phi2 phi1))) (- lambda1 lambda2)) (- phi1 phi2)) R)
573.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)))
520.0ms
(hypot (* (cos (* 0.5 (+ phi2 phi1))) (- lambda1 lambda2)) (- phi1 phi2))
466.0ms
(fma (* (cos (* 0.5 phi1)) (cos (* 0.5 phi2))) lambda1 (- (* (sin (* 0.5 phi2)) (* lambda2 (sin (* 0.5 phi1)))) (fma (cos (* 0.5 phi2)) (* (cos (* 0.5 phi1)) lambda2) (* (sin (* 0.5 phi2)) (* (sin (* 0.5 phi1)) lambda1)))))

simplify13.0s (1.9%)

Algorithm
227×egg-herbie

regimes11.1s (1.6%)

Accuracy

Total 33.6b remaining (29.4%)

Threshold costs 5.3b (4.6%)

5.8b58.1%Cubic critical, narrow range
5.0b25.8%Cubic critical, medium range
4.3b85%Cubic critical
4.2b85.3%Quadratic roots, full range
3.3b0%Cubic critical, wide range

rewrite6.6s (0.9%)

Algorithm
149×rewrite-expression-head
Calls

494 calls:

180.0ms
(- (- (- (log 2) (fma 3/32 (/ (pow (sqrt 1.0) 4) (pow x 4)) (/ (* 1/4 1.0) (pow x 2)))) (log (sqrt (/ 1 x)))) (log (sqrt (/ 1 x))))
93.0ms
(/ (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (/ (- (pow b 4) (* (* 4.0 (* a c)) (* 4.0 (* a c)))) (fma b b (* (* 4.0 a) c)))))) (* 2.0 a))
93.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)))
90.0ms
(* (/ (expm1 (+ x x)) (+ (pow (exp (* 2 x)) 3) 1)) (+ (* (exp (* 2 x)) (exp (* 2 x))) (- (* 1 1) (* (exp (* 2 x)) 1))))
89.0ms
(* (/ (sqrt (+ (sqrt 1.0) x)) (sqrt x)) (/ (sqrt (- (sqrt 1.0) x)) (sqrt x)))
Rules
8490×*-un-lft-identity
7739×add-sqr-sqrt
7397×times-frac
5930×add-cube-cbrt
3343×prod-diff
3048×add-exp-log
1805×add-cbrt-cube
1280×pow1
1235×unpow-prod-down
1136×sqrt-prod
1008×div-exp
998×prod-exp
852×associate-*r*
738×distribute-lft-out--
734×add-log-exp
661×distribute-rgt-neg-in
641×difference-of-squares
615×distribute-lft-out
607×associate-*l*
592×associate-/l*
583×cbrt-prod
546×distribute-lft-neg-in
497×expm1-log1p-u
496×log1p-expm1-u
491×associate-/r*
486×fma-neg
470×cbrt-unprod
469×cbrt-undiv
456×associate-/r/
430×div-inv
399×cube-prod
398×pow-exp
371×sqr-pow
299×pow-to-exp
248×flip-- log-pow
247×flip3--
237×pow-prod-down
232×fma-def
209×flip-+
208×flip3-+
203×unswap-sqr distribute-rgt-in distribute-lft-in
194×log-prod
182×neg-mul-1
148×unpow2
123×associate--l+
122×associate-*r/
120×clear-num frac-2neg
104×associate-/l/
98×unpow3 cube-mult
95×*-commutative
90×sub-neg
89×sqrt-pow1
84×pow-unpow
81×sqrt-div
80×diff-log
79×associate-*l/
78×frac-times
60×cos-sum tan-quot
56×swap-sqr
55×pow-prod-up
53×1-exp
52×pow1/2
51×sum-log
50×div-sub
41×pow-sqr
39×pow-flip
37×fma-udef associate--r+
36×pow1/3 exp-prod
35×+-commutative log-div
33×rem-sqrt-square neg-sub0
32×rec-exp
30×inv-pow pow-plus
29×cbrt-div
27×pow-pow
26×sin-mult
25×associate-+l+
24×rem-log-exp
23×sin-sum pow2
21×neg-log associate-+l-
18×sin-diff
16×sin-cos-mult associate--l- frac-sub
15×rem-cube-cbrt cos-diff
14×associate-+r+ cos-mult
13×frac-add distribute-rgt-out
11×distribute-frac-neg acos-asin
10×cube-div expm1-udef
8×distribute-rgt-neg-out
7×expm1-log1p
6×exp-sum
5×acos-neg associate-+r- sub-div rem-exp-log asin-acos associate--r-
4×sqrt-undiv rem-cbrt-cube
3×log1p-udef log1p-expm1 hypot-udef
2×exp-diff sin-neg un-div-inv distribute-lft1-in sqrt-unprod hypot-def
1×unsub-neg distribute-rgt-out--

localize2.3s (0.3%)

bsearch430.0ms (0.1%)

end1.0ms (0.0%)