Time: 1.0hr
Passed: 25/30
Tests: 39
Bits: 701/808
Date:Wednesday, January 16th, 2019
Commit:4ad0fa0d8ea811155e6236e8b72b9505c4bb3dd0 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019016
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
b parameter of renormalized beta distribution0.10.127.8s»
a parameter of renormalized beta distribution0.20.220.4s»
Trigonometry B0.30.420.0s»
Trigonometry A0.10.114.2s»
Spherical law of cosines17.03.742.2s»
Quadratic roots, wide range52.50.121.1s»
Quadratic roots, narrow range28.50.445.4s»
Quadratic roots, medium range43.50.220.4s»
Quadratic roots, full range33.28.723.0s»
Midpoint on a great circle008.0m»
Logistic function from Lakshay Garg29.20.06.2s»
Hyperbolic tangent57.90.015.1s»
Hyperbolic sine57.80.68.0s»
Hyperbolic secant0.00.010.2s»
Hyperbolic arc-cosine30.80.019.7s»
Hyperbolic arc-(co)tangent58.30.315.5s»
Hyperbolic arc-(co)secant0.10.18.1s»
Equirectangular approximation to distance on a great circle37.029.04.6m»
Eccentricity of an ellipse30.07.520.9s»
Distance on a great circle7.9m»
Destination given bearing on a great circle10.0m»
Cubic critical, wide range52.70.122.0s»
Cubic critical, narrow range28.50.325.0s»
Cubic critical, medium range44.00.225.2s»
Cubic critical33.911.218.5s»
Bearing on a great circle9.0m»
Asymptote C29.40.129.7s»
Asymptote B0.00.020.9s»
Asymptote A14.20.321.6s»
2-ancestry mixing, zero discriminant15.20.810.2s»
2-ancestry mixing, positive discriminant34.630.951.2s»
2-ancestry mixing, negative discriminant1.00.011.5s»
Quotient of sum of exps0.70.80.026.5s»
Quotient of products10.85.211.07.4s»
Logistic regression 20.50.50.014.5s»
Hyperbolic arcsine52.40.244.822.0s»
Harley's example10.0m»
Exp of sum of logs5.7004.6s»
(- (/ x0 (- 1 x1)) x0)8.45.40.510.0s»

Details

sample12.7m

Algorithm
2×sampled
70×intervals
Results
576806×(pre true 80)
190095×(body real 80)
176904×(body nan 80)
81206×(body exit 10240)
34950×(body real 1280)
31035×(body real 160)
25404×(body real 640)
22001×(body real 320)
8128×(body nan 160)
5702×(body real 2560)
1381×(body real 5120)
4×presampled

simplify10.0m

Calls

5972 calls:

Slowest
2.2s
(/ (* (* (* 3 (* c a)) (* 3 (* c a))) (* 3 (* c a))) (* (* (* (* 3 a) (* 3 a)) (* 3 a)) (* (* (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 3 a) c))))) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))))
2.1s
(/ (* (* (* 3 (* c a)) (* 3 (* c a))) (* 3 (* c a))) (* (* (* (* 3 a) (* 3 a)) (* 3 a)) (* (* (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 3 a) c))))) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))))
1.9s
(/ (* (* (* 3 (* c a)) (* 3 (* c a))) (* 3 (* c a))) (* (* (* (* 3 a) (* 3 a)) (* 3 a)) (* (* (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 3 a) c))))) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))))
1.8s
(/ (* (* (* 3 (* c a)) (* 3 (* c a))) (* 3 (* c a))) (* (* (* (* 3 a) (- (- b) (sqrt (- (* b b) (* (* 3 a) c))))) (* (* 3 a) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))) (* (* 3 a) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))))
1.7s
(/ (* (* (* 3 (* c a)) (* 3 (* c a))) (* 3 (* c a))) (* (* (* (* 3 a) (- (- b) (sqrt (- (* b b) (* (* 3 a) c))))) (* (* 3 a) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))) (* (* 3 a) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))))

prune2.3m

series31.2s

Calls

458 calls:

Slowest
844.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
695.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2))) (cbrt (cos (/ (+ phi1 phi2) 2)))) (cbrt (cos (/ (+ phi1 phi2) 2))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
597.0ms
(sqrt (+ (* (* (cos (* (+ phi1 phi2) 1/2)) (cos (* (+ phi1 phi2) 1/2))) (* (* (cbrt (+ (* lambda2 (- lambda2 (* 2 lambda1))) (* lambda1 lambda1))) (cbrt (+ (* lambda2 (- lambda2 (* 2 lambda1))) (* lambda1 lambda1)))) (cbrt (+ (* lambda2 (- lambda2 (* 2 lambda1))) (* lambda1 lambda1))))) (* (- phi1 phi2) (- phi1 phi2))))
596.0ms
(sqrt (+ (* (* (cos (* (+ phi1 phi2) 1/2)) (cos (* (+ phi1 phi2) 1/2))) (+ (* lambda2 (- lambda2 (* 2 lambda1))) (* lambda1 lambda1))) (* (- phi1 phi2) (- phi1 phi2))))
573.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))

regimes9.9s

Accuracy

Total 29.4b remaining (27.4%)

9.3b46.3%Equirectangular approximation to distance on a great circle
5.4b80.8%Cubic critical
5.2b53%Quotient of products
3.0b88.4%Quadratic roots, full range
2.0b44.7%2-ancestry mixing, positive discriminant

rewrite3.8s

Algorithm
130×rewrite-expression-head
Calls

458 calls:

Slowest
190.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2))) (cbrt (cos (/ (+ phi1 phi2) 2)))) (cbrt (cos (/ (+ phi1 phi2) 2))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
119.0ms
(sqrt (+ (* (* (cos (* (+ phi1 phi2) 1/2)) (cos (* (+ phi1 phi2) 1/2))) (* (* (cbrt (+ (* lambda2 (- lambda2 (* 2 lambda1))) (* lambda1 lambda1))) (cbrt (+ (* lambda2 (- lambda2 (* 2 lambda1))) (* lambda1 lambda1)))) (cbrt (+ (* lambda2 (- lambda2 (* 2 lambda1))) (* lambda1 lambda1))))) (* (- phi1 phi2) (- phi1 phi2))))
58.0ms
(sqrt (+ (* (* (cos (* (+ phi1 phi2) 1/2)) (cos (* (+ phi1 phi2) 1/2))) (+ (* lambda2 (- lambda2 (* 2 lambda1))) (* lambda1 lambda1))) (* (- phi1 phi2) (- phi1 phi2))))
50.0ms
(/ (- (sqrt (- (* b b) (* (* c a) 4))) b) (* 2 a))
47.0ms
(* (tan x) (tan x))
Rules
1388×*-un-lft-identity
1289×add-sqr-sqrt
1239×add-exp-log
1143×frac-times
1099×add-cube-cbrt
983×cbrt-div
798×flip--
797×flip3--
726×pow1
712×add-cbrt-cube
708×sqrt-div
707×associate-*l/
681×associate-*r/
663×add-log-exp
650×flip-+
649×flip3-+
621×frac-add
550×times-frac
398×prod-exp
385×associate-*r*
277×pow-exp
273×sqrt-prod
261×associate-/r*
243×div-exp
240×cos-mult
229×associate-*l*
197×pow-to-exp
196×cbrt-prod
190×log-prod
190×associate-/r/
172×div-inv
161×associate-/l*
124×sub-neg
106×*-commutative
104×rec-exp
99×unpow-prod-down
98×frac-2neg
98×clear-num
98×distribute-lft-out
97×difference-of-squares
82×log-pow
75×pow-prod-down
75×cbrt-unprod
74×diff-log
68×distribute-lft-out--
67×cbrt-undiv
60×associate-/l/
58×log-div
48×pow1/3
47×+-commutative
46×distribute-rgt-in
46×distribute-lft-in
44×exp-prod
42×pow1/2
41×frac-sub
38×associate-+r+
34×sum-log
33×cube-prod
33×pow-prod-up
32×rem-sqrt-square
28×associate--l+
27×pow-flip
27×div-sub
26×pow2
24×associate-+l+
24×rem-log-exp
24×tan-quot
23×associate--l-
22×pow-plus
21×neg-sub0
21×inv-pow
21×associate-+l-
17×pow-pow
14×unpow3
14×cube-mult
13×acos-asin
12×associate--r-
11×associate--r+
10×difference-of-sqr-1
10×un-div-inv
10×cos-sum
8×cube-div
8×cos-diff
7×sin-mult
6×sin-sum
5×rem-cube-cbrt
5×exp-sum
5×unpow2
3×exp-diff
3×distribute-frac-neg
3×sqrt-unprod
3×acos-neg
3×rem-exp-log
2×distribute-rgt-out--
2×pow3
2×sin-PI/3
2×asin-acos
2×rem-cbrt-cube
1×pow-div
1×difference-of-sqr--1
1×associate-+r-
1×sqrt-undiv
1×tanh-undef
1×tanh-def
1×difference-cubes
1×exp-to-pow
1×sin-diff

localize3.6s

bsearch3.1s

end2.0ms