Time: 34.5m
Passed: 25/30
Tests: 39
Bits: 702/807
Date:Tuesday, January 22nd, 2019
Commit:45d4082dea7f80b56c44622251112721670e87cb on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019022
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.124.5s»
a parameter of renormalized beta distribution0.20.218.1s»
Trigonometry B0.30.517.7s»
Trigonometry A0.10.114.8s»
Spherical law of cosines17.04.051.2s»
Quadratic roots, wide range52.50.233.8s»
Quadratic roots, narrow range28.30.331.5s»
Quadratic roots, medium range43.80.331.2s»
Quadratic roots, full range33.47.420.5s»
Midpoint on a great circle0.00.06.5m»
Logistic function from Lakshay Garg29.50.017.4s»
Hyperbolic tangent58.20.016.8s»
Hyperbolic sine58.10.620.2s»
Hyperbolic secant0.00.03.6s»
Hyperbolic arc-cosine31.20.121.7s»
Hyperbolic arc-(co)tangent58.60.218.0s»
Hyperbolic arc-(co)secant0.10.110.9s»
Equirectangular approximation to distance on a great circle36.828.43.0m»
Eccentricity of an ellipse29.37.416.5s»
Distance on a great circle733.0ms»
Destination given bearing on a great circle10.0m»
Cubic critical, wide range52.20.120.9s»
Cubic critical, narrow range28.80.323.4s»
Cubic critical, medium range43.50.221.0s»
Cubic critical33.214.816.5s»
Bearing on a great circle1.6s»
Asymptote C29.00.119.6s»
Asymptote B0.00.08.7s»
Asymptote A14.30.153.5s»
2-ancestry mixing, zero discriminant15.30.911.5s»
2-ancestry mixing, positive discriminant34.630.946.7s»
2-ancestry mixing, negative discriminant1.00.011.7s»
Quotient of sum of exps0.60.60.06.5s»
Quotient of products11.32.210.75.1s»
Logistic regression 20.40.50.021.4s»
Hyperbolic arcsine52.30.244.918.3s»
Harley's example3.9m»
Exp of sum of logs5.7004.0s»
(- (/ x0 (- 1 x1)) x0)7.94.70.312.4s»

Details

sample10.9m

Algorithm
72×intervals
Results
7.8m79793×body10240exit
57.3s34979×body1280valid
26.8s198441×body80valid
24.9s176856×body80nan
20.8s24944×body640valid
10.9s22325×body320valid
9.9s30988×body160valid
8.3s5733×body2560valid
7.8s153261×pre80true
3.2s1420×body5120valid
1.4s7968×body160nan
854.0ms4065×pre10240exit

simplify8.8m

Calls

5921 calls:

Slowest
2.0s
(/ (* (* (* 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.0s
(/ (* (* (* 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.0s
(/ (* (* (* 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.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)))))))

prune2.0m

series34.5s

Calls

457 calls:

Slowest
1.2s
(cbrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))))))
846.0ms
(exp (log (pow (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))))) 1/3)))
829.0ms
(cbrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))))))
805.0ms
(exp (log (cbrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))))))))
774.0ms
(pow (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))))) 1/3)

regimes9.0s

Accuracy

Total 17.7b remaining (16.8%)

4.5b65.1%Equirectangular approximation to distance on a great circle
2.8b86.8%Cubic critical
2.2b80.8%Quotient of products
1.9b92.1%Quadratic roots, full range
1.0b64.9%2-ancestry mixing, positive discriminant

rewrite3.6s

Algorithm
131×rewrite-expression-head
Calls

457 calls:

Slowest
128.0ms
(sqrt (+ (* (* (cbrt (* -3 (* c a))) (* (* (cbrt (cbrt (* -3 (* c a)))) (cbrt (cbrt (* -3 (* c a))))) (cbrt (cbrt (* -3 (* c a)))))) (cbrt (* -3 (* c a)))) (* b b)))
46.0ms
(cos (- (- (/ PI 6) (/ PI 3/2)) (/ (asin (/ g h)) 3)))
42.0ms
(/ (- (sqrt (- (* b b) (* (* c a) 4))) b) (* 2 a))
39.0ms
(exp (log (cbrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))))))))
37.0ms
(/ (- (sqrt (- (* b b) (* (* c a) 4))) b) (* 2 a))
Rules
1300×add-exp-log
1273×*-un-lft-identity
1269×add-sqr-sqrt
1049×add-cube-cbrt
1020×associate-*l/
920×flip--
919×flip3--
884×pow1
775×add-cbrt-cube
633×add-log-exp
612×frac-times
548×times-frac
470×cbrt-div
466×frac-add
430×prod-exp
375×associate-*r/
269×associate-*r*
268×pow-exp
259×log-prod
244×sqrt-div
239×sqrt-prod
237×div-exp
234×associate-/r*
224×flip-+
223×flip3-+
209×div-inv
207×associate-/r/
201×associate-*l*
188×pow-to-exp
163×cbrt-prod
159×associate-/l*
151×log-div
143×pow-prod-down
135×sub-neg
118×cbrt-unprod
104×tan-quot
99×log-pow
96×difference-of-squares
95×rec-exp
93×*-commutative
91×frac-2neg
91×clear-num
79×distribute-lft-out--
76×exp-diff
74×pow-prod-up
69×cbrt-undiv
68×diff-log
57×distribute-lft-out
56×pow1/3
56×associate-/l/
53×pow1/2
51×+-commutative
45×pow-plus
44×distribute-rgt-in
44×exp-prod
44×distribute-lft-in
39×unpow-prod-down
38×pow2
37×rem-log-exp
31×associate--l+
29×sum-log
26×exp-sum
25×div-sub
23×rem-sqrt-square
22×frac-sub
21×cube-prod
21×associate--l-
20×cos-mult
18×associate-+r+
17×cube-div
16×associate-+l-
15×associate--r+
15×cos-sum
14×pow-flip
13×neg-sub0
13×cos-diff
13×associate--r-
12×tanh-def
12×inv-pow
11×acos-asin
10×associate-+l+
10×difference-of-sqr-1
10×pow-pow
9×sin-mult
9×cube-mult
8×unpow3
6×rem-exp-log
5×distribute-rgt-out--
5×distribute-rgt1-in
4×associate-+r-
4×sqrt-unprod
4×distribute-rgt-out
3×distribute-frac-neg
3×rem-cube-cbrt
3×log-rec
3×asin-acos
3×acos-neg
2×sin-sum
2×un-div-inv
2×sin-PI/3
2×unpow2
2×sub-div
1×difference-of-sqr--1
1×sin-cos-mult
1×exp-neg
1×tanh-undef
1×difference-cubes
1×unpow1/3
1×rem-square-sqrt
1×rem-cbrt-cube
1×unsub-neg
1×sin-diff

localize3.1s

bsearch1.7s

end2.0ms