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

sample4.8m (68.2%)

Algorithm
78×intervals
Results
3.5m30879×body10240exit
34.1s44431×body1280valid
11.1s29982×body640valid
7.0s203682×body80valid
4.8s152974×body80nan
4.7s27316×body320valid
3.0s35961×body160valid
2.9s172733×pre80true
795.0ms3154×body2560valid
353.0ms7735×body160nan
213.0ms16647×pre80false
149.0ms218×body5120valid

prune56.5s (13.3%)

Filtered
21001 candidates to 12489 candidates (59.5%)

series46.4s (10.9%)

Calls

498 calls:

1.1s
(+ (pow (cos phi1) 3) (pow (* (cos phi2) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))) 3))
783.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 (fma t 0.25 (- 0.5 (* 0.020833333333333336 (pow t 3))))) c_n)))
699.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)))
589.0ms
(hypot (* 1 (* (cos (/ (+ phi1 phi2) 2.0)) (- lambda1 lambda2))) (- phi1 phi2))
586.0ms
(/ (* (sin phi1) (* (cos phi2) (* (fma (cos lambda1) (cos lambda2) (* (sin lambda1) (sin (- lambda2)))) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2)))))

simplify13.7s (3.2%)

Algorithm
226×egg-herbie

regimes10.2s (2.4%)

Accuracy

Total 32.0b remaining (24.6%)

Threshold costs 5.8b (4.4%)

5.6b38.5%Quotient of products
5.6b59.9%Cubic critical, narrow range
4.9b29.9%Cubic critical, medium range
3.5b88%Cubic critical
3.4b88.2%Quadratic roots, full range

rewrite5.0s (1.2%)

Algorithm
148×rewrite-expression-head
Calls

498 calls:

195.0ms
(- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))
66.0ms
(* (/ (sqrt e) (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sqrt e) (/ (cbrt (+ 1.0 (* e (cos v)))) (sin v))))
55.0ms
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))
42.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))
42.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
Rules
9560×*-un-lft-identity
8711×times-frac
8554×add-sqr-sqrt
6751×add-cube-cbrt
3774×prod-diff
2914×add-exp-log
1744×add-cbrt-cube
1533×unpow-prod-down
1209×sqrt-prod
1083×associate-*r*
958×prod-exp
949×pow1
918×div-exp
812×distribute-lft-out
810×distribute-rgt-neg-in
743×add-log-exp
705×cube-prod
664×difference-of-squares
645×distribute-lft-neg-in
612×associate-/l*
587×distribute-lft-out--
581×associate-/r*
528×fma-neg
521×associate-/r/
508×div-inv
501×log1p-expm1-u
500×expm1-log1p-u
497×distribute-rgt-in distribute-lft-in
485×cbrt-prod
475×sqr-pow
467×associate-*l*
446×pow-exp
424×cbrt-unprod
404×cbrt-undiv
337×pow-to-exp
267×flip--
266×flip3--
255×fma-def
250×flip-+
249×flip3-+
237×log-prod
235×unswap-sqr
186×unpow3 cube-mult
185×neg-mul-1
178×pow-prod-down
151×associate-*r/
134×clear-num frac-2neg
117×sub-neg
115×associate-/l/
96×*-commutative frac-times
91×associate-*l/
88×log-pow
76×diff-log
66×sqrt-div swap-sqr
65×exp-sum
61×exp-prod
57×cos-sum
56×unpow2
53×div-sub
49×pow-unpow sum-log pow-pow
39×pow1/3 cbrt-div
38×neg-sub0
34×pow1/2 +-commutative associate--l+ 1-exp sqrt-pow1
32×rec-exp
29×rem-sqrt-square
27×cos-mult
26×sin-mult
25×fma-udef
24×log-div
23×sin-sum
22×tan-quot associate-+l-
21×neg-log
20×rem-log-exp
19×pow-flip distribute-rgt-out
17×cos-diff frac-sub
16×sum-cubes sin-diff
15×inv-pow associate--r+
14×associate--l-
13×associate-+r+
12×acos-asin
11×rem-cube-cbrt frac-add expm1-udef
10×sin-cos-mult
9×cube-div distribute-frac-neg
8×pow-prod-up expm1-log1p
7×pow-sqr sub-div associate-+r-
6×exp-diff acos-neg difference-cubes pow2 pow-plus
5×rem-exp-log
4×log1p-udef distribute-lft-neg-out log1p-expm1 exp-to-pow
3×associate-+l+ sin-neg hypot-udef unsub-neg unpow-prod-up asin-acos distribute-rgt-neg-out rem-cbrt-cube
2×distribute-lft1-in exp-neg distribute-rgt-out-- exp-lft-cube
1×sqrt-undiv e-exp-1 sqrt-unprod hypot-def associate--r-

localize2.4s (0.6%)

bsearch907.0ms (0.2%)

end1.0ms (0.0%)