Time: 58.5m
Passed: 25/30
Tests: 39
Bits: 713/808
Date:Thursday, January 10th, 2019
Commit:dd874ef03c8e15d9e2f572e0b328fc0229fb74e1 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019010
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
TestStartResult ?Target ?∞ ↔ ℝTime
b parameter of renormalized beta distribution0.10.130.1s»
a parameter of renormalized beta distribution0.20.214.1s»
Trigonometry B0.30.422.3s»
Trigonometry A0.10.218.7s»
Spherical law of cosines16.83.854.8s»
Quadratic roots, wide range52.60.121.1s»
Quadratic roots, narrow range28.50.31.2m»
Quadratic roots, medium range43.70.218.8s»
Quadratic roots, full range33.29.632.0s»
Midpoint on a great circle007.9m»
Logistic function from Lakshay Garg29.50.09.3s»
Hyperbolic tangent58.30.016.4s»
Hyperbolic sine58.20.625.9s»
Hyperbolic secant0.00.03.1s»
Hyperbolic arc-cosine30.90.312.8s»
Hyperbolic arc-(co)tangent58.70.011.7s»
Hyperbolic arc-(co)secant0.00.09.6s»
Equirectangular approximation to distance on a great circle37.03.822.9s»
Eccentricity of an ellipse29.77.56.2s»
Distance on a great circle7.7m»
Destination given bearing on a great circle10.0m»
Cubic critical, wide range52.60.119.5s»
Cubic critical, narrow range28.50.423.2s»
Cubic critical, medium range43.20.219.2s»
Cubic critical33.523.516.3s»
Bearing on a great circle8.9m»
Asymptote C28.80.12.4m»
Asymptote B0.00.012.2s»
Asymptote A14.40.328.5s»
2-ancestry mixing, zero discriminant15.40.912.9s»
2-ancestry mixing, positive discriminant34.431.154.7s»
2-ancestry mixing, negative discriminant1.00.012.3s»
Quotient of sum of exps0.70.60.08.5s»
Quotient of products10.95.411.27.8s»
Logistic regression 20.60.50.148.1s»
Hyperbolic arcsine52.40.144.919.3s»
Harley's example10.0m»
Exp of sum of logs5.7004.3s»
(- (/ x0 (- 1 x1)) x0)8.44.60.54.5s»

Details

sample12.6m

Algorithm
2×sampled
70×intervals

simplify8.7m

Calls

5497 calls:

Slowest
1.4s
(* (fma (- x) y (* x y)) (- (log1p (exp x)) (* y x)))
1.4s
(* (fma (- x) y (* x y)) (- (log1p (exp x)) (* y x)))
1.4s
(fma (- (+ x 1)) (/ 1 (- (* x x) (* 1 1))) (* (+ x 1) (/ 1 (- (* x x) (* 1 1)))))
1.3s
(* (/ 1 (- (* x x) (* 1 1))) (+ x 1))
1.3s
(* (fma (- x) y (* x y)) (- (log1p (exp x)) (* y x)))

prune1.9m

series30.0s

Calls

419 calls:

Slowest
569.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)))
483.0ms
(* (hypot (* (- lambda1 lambda2) (cos (* (+ phi1 phi2) 1/2))) (- phi1 phi2)) R)
432.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2)) R)
387.0ms
(hypot (* (- lambda1 lambda2) (cos (* (+ phi1 phi2) 1/2))) (- phi1 phi2))
375.0ms
(* (cbrt (/ 1 a)) (cbrt 1/2))

regimes11.8s

Accuracy

Total 16.9b remaining (17.8%)

5.4b50.3%Quotient of products
4.2b84.2%Quadratic roots, full range
2.1b42.9%2-ancestry mixing, positive discriminant
1.1b89.7%Cubic critical
0.8b0%2-ancestry mixing, zero discriminant

bsearch6.7s

localize3.1s

rewrite2.7s

Algorithm
125×rewrite-expression-head
Calls

419 calls:

Slowest
44.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))
42.0ms
(* (* (tan x) (tan x)) (* (tan x) (tan x)))
40.0ms
(/ (- (pow (log1p (exp x)) 3) (pow (* y x) 3)) (+ (* (log1p (exp x)) (log1p (exp x))) (+ (* (* y x) (* y x)) (* (log1p (exp x)) (* y x)))))
40.0ms
(* (sqrt (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))) (sqrt (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))))
37.0ms
(cbrt (* (* (- (log1p (exp x)) (* y x)) (- (log1p (exp x)) (* y x))) (- (log1p (exp x)) (* y x))))
Rules
1430×add-sqr-sqrt
1405×*-un-lft-identity
1247×add-cube-cbrt
1154×add-exp-log
678×pow1
647×add-cbrt-cube
595×prod-diff
522×add-log-exp
457×times-frac
429×expm1-log1p-u
421×log1p-expm1-u
392×prod-exp
291×associate-/r/
271×pow-exp
267×sqrt-prod
262×associate-*r*
251×div-inv
232×associate-/r*
216×div-exp
204×flip--
203×flip3--
190×pow-to-exp
183×associate-*l*
178×fma-neg
159×flip-+
158×flip3-+
130×associate-/l*
120×associate-*r/
106×frac-times
97×rec-exp
91×pow-prod-down
91×frac-2neg
91×clear-num
91×cbrt-prod
85×*-commutative
84×difference-of-squares
80×cbrt-unprod
80×fma-def
78×associate-*l/
77×sub-neg
70×cbrt-div
67×distribute-rgt-in
67×distribute-lft-in
66×sqrt-div
63×neg-mul-1
60×tan-quot
56×fma-udef
51×log-prod
51×cbrt-undiv
46×pow-prod-up
46×diff-log
44×distribute-lft-out
43×distribute-lft-out--
42×pow1/3
42×associate-/l/
41×exp-prod
38×pow1/2
32×unpow-prod-down
32×rem-sqrt-square
29×log-pow
29×log1p-udef
28×pow-plus
27×+-commutative
25×pow2
24×log-div
21×div-sub
18×neg-sub0
16×pow-pow
15×pow-flip
15×inv-pow
13×sum-log
13×frac-sub
13×exp-sum
12×log1p-expm1
12×frac-add
11×rem-log-exp
10×difference-of-sqr-1
9×exp-diff
9×cos-sum
8×cube-prod
8×unpow3
8×cube-mult
8×acos-asin
7×exp-neg
6×cos-mult
6×sin-sum
6×un-div-inv
5×associate--l-
5×associate-+l-
5×expm1-def
4×distribute-frac-neg
4×associate--l+
4×associate--r+
4×difference-cubes
4×unpow2
4×cos-diff
4×associate--r-
3×expm1-log1p
3×rem-cube-cbrt
3×expm1-udef
3×distribute-rgt-neg-out
3×pow3
3×cube-div
3×rem-cbrt-cube
3×rem-exp-log
2×associate-+l+
2×sum-cubes
2×sin-mult
2×hypot-udef
2×log1p-def
2×acos-neg
2×distribute-rgt-out
1×distribute-rgt1-in
1×associate-+r+
1×unsub-neg
1×distribute-rgt-out--
1×sqrt-unprod
1×tanh-undef
1×tanh-def
1×asin-acos
1×rem-square-sqrt
1×sin-diff

end2.0ms