Date:Thursday, May 28th, 2020
Commit:002bf197 on no-eval
Hostname:warfa with Racket 7.5
Seed:2020149
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.9m (51.1%)

Algorithm
78×intervals
Results
41.3s43618×body1280valid
14.1s30886×body640valid
9.1s203013×body80valid
7.9s1143×body5120exit
6.7s152852×body80nan
5.8s27620×body320valid
4.4s172544×pre80true
4.1s36087×body160valid
3.3s29617×body80overflowed
973.0ms3018×body2560valid
587.0ms3112×body2560nan
411.0ms2625×body1280nan
351.0ms16479×pre80false
163.0ms1326×body640nan
97.0ms204×body5120valid
69.0ms720×body320nan
25.0ms338×body160nan
4.0ms5×body320overflowed
1.0ms3×body160overflowed
1.0ms1×body640overflowed

prune1.1m (28.4%)

Filtered
18332 candidates to 11755 candidates (35.9%)

regimes14.7s (6.4%)

Accuracy

Total 26.5b remaining (21.4%)

Threshold costs 6.0b (4.9%)

8.4b55.3%Equirectangular approximation to distance on a great circle
4.6b57.3%Quotient of products
4.0b86.1%Quadratic roots, full range
1.3b94.9%Cubic critical
1.1b64.1%2-ancestry mixing, positive discriminant

simplify12.7s (5.6%)

Algorithm
226×egg-herbie

series10.4s (4.6%)

Calls

524 calls:

1.1s
(pow (exp (* (cbrt (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2)))))) (cbrt (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2)))))))) (cbrt (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2)))))))
252.0ms
(/ (* (* (sin phi1) (cos phi2)) (+ (pow (* (cos lambda1) (cos lambda2)) 3) (pow (* (sin lambda1) (sin lambda2)) 3))) (+ (* (* (cos lambda1) (cos lambda2)) (* (cos lambda1) (cos lambda2))) (- (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
199.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))
148.0ms
(* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (/ (- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)) (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)))))
142.0ms
(* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (/ (- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)) (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)))))

rewrite6.0s (2.6%)

Algorithm
148×rewrite-expression-head
Calls

524 calls:

195.0ms
(- (/ (/ x (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (/ (+ x 1.0) (- x 1.0)))
115.0ms
(* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (/ (- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)) (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)))))
115.0ms
(* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (/ (- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)) (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)))))
75.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5))))
72.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5)))))
Rules
7129×add-sqr-sqrt
6975×times-frac
6607×*-un-lft-identity
3882×add-cube-cbrt
2801×add-exp-log
2101×frac-times
2046×sqrt-div
1876×sqrt-prod
1809×add-cbrt-cube
1649×associate-*r*
1610×associate-*l/
1454×associate-*r/
1388×flip-+
1387×flip3-+
1348×difference-of-squares
1264×flip--
1263×flip3--
1109×pow1
963×unpow-prod-down
883×div-exp
851×prod-exp
848×add-log-exp
839×distribute-lft-out--
802×associate-/l*
786×cube-prod
773×frac-sub
571×cbrt-prod
562×associate-/r*
527×associate-*l*
526×frac-add
511×distribute-lft-out
442×cbrt-undiv
399×cbrt-unprod
395×associate-/r/
355×log-prod
349×sqr-pow
335×div-inv
315×pow-exp
248×distribute-rgt-neg-in
245×unswap-sqr
226×pow-to-exp
214×pow-prod-down
157×associate-/l/
138×sub-neg
120×clear-num frac-2neg
117×log-div
114×associate-+l+
113×*-commutative
110×diff-log
100×cos-mult
97×swap-sqr
94×sin-mult
74×log-pow
71×exp-diff pow1/3
64×sum-log
60×unpow3 cube-mult
53×pow1/2 cbrt-div sqrt-pow1
52×1-exp
48×pow-unpow
44×distribute-rgt-in distribute-lft-in div-sub exp-prod
42×rec-exp
41×pow-prod-up
39×rem-sqrt-square distribute-lft-neg-in
37×+-commutative
33×pow-sqr
28×cos-sum neg-sub0 tan-quot
27×rem-log-exp
25×unpow2
24×pow-plus
23×cos-diff pow-pow
22×associate-+l-
21×difference-cubes
18×distribute-rgt-out neg-log sin-diff
17×pow2
16×associate--l- sub-div associate--l+
15×cube-div
14×associate--r+
13×rem-cube-cbrt sin-cos-mult associate-+r- associate-+r+ acos-asin exp-sum
12×distribute-frac-neg distribute-rgt-neg-out
11×sin-sum neg-mul-1 tanh-def
7×acos-neg
6×rem-exp-log pow-flip associate--r- rem-cbrt-cube
5×distribute-rgt-out-- asin-acos exp-to-pow
4×sqrt-undiv sqrt-unprod inv-pow distribute-neg-frac
2×distribute-neg-out un-div-inv distribute-lft1-in unpow1/3 unsub-neg sum-cubes mul-1-neg
1×pow3 rem-square-sqrt tanh-undef

localize2.4s (1.1%)

bsearch485.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...