Time: 42.7m
Passed: 25/30
Tests: 39
Bits: 720/807
Date:Tuesday, January 22nd, 2019
Commit:45d4082dea7f80b56c44622251112721670e87cb on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019022
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.126.9s»
a parameter of renormalized beta distribution0.20.221.2s»
Trigonometry B0.30.421.1s»
Trigonometry A0.10.15.5m»
Spherical law of cosines17.04.147.2s»
Quadratic roots, wide range52.50.119.4s»
Quadratic roots, narrow range28.30.41.2m»
Quadratic roots, medium range43.80.229.6s»
Quadratic roots, full range33.413.419.0s»
Midpoint on a great circle0.00.07.1m»
Logistic function from Lakshay Garg29.50.02.0m»
Hyperbolic tangent58.20.021.1s»
Hyperbolic sine58.10.61.1m»
Hyperbolic secant0.00.04.7s»
Hyperbolic arc-cosine31.20.321.6s»
Hyperbolic arc-(co)tangent58.60.011.3s»
Hyperbolic arc-(co)secant0.10.111.0s»
Equirectangular approximation to distance on a great circle36.83.623.5s»
Eccentricity of an ellipse29.37.417.5s»
Distance on a great circle893.0ms»
Destination given bearing on a great circle10.0m»
Cubic critical, wide range52.20.129.2s»
Cubic critical, narrow range28.80.339.8s»
Cubic critical, medium range43.50.530.3s»
Cubic critical33.214.920.9s»
Bearing on a great circle1.3s»
Asymptote C29.00.11.8m»
Asymptote B0.00.07.6s»
Asymptote A14.30.429.4s»
2-ancestry mixing, zero discriminant15.30.912.4s»
2-ancestry mixing, positive discriminant34.630.857.6s»
2-ancestry mixing, negative discriminant1.01.011.5s»
Quotient of sum of exps0.60.60.07.0s»
Quotient of products11.32.210.75.2s»
Logistic regression 20.40.40.036.8s»
Hyperbolic arcsine52.30.144.916.1s»
Harley's example3.8m»
Exp of sum of logs5.7004.2s»
(- (/ x0 (- 1 x1)) x0)7.94.70.310.2s»

Details

simplify15.8m

Calls

8502 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)))))))
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)))))))
1.5s
(* (fma (- (sqrt (cbrt (exp (- x))))) (sqrt (* (cbrt (exp (- x))) (cbrt (exp (- x))))) (* (sqrt (cbrt (exp (- x)))) (sqrt (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (+ (sqrt (exp x)) (sqrt (exp (- x)))))
1.5s
(* (fma (- (sqrt (cbrt (exp (- x))))) (sqrt (* (cbrt (exp (- x))) (cbrt (exp (- x))))) (* (sqrt (cbrt (exp (- x)))) (sqrt (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (+ (sqrt (exp x)) (sqrt (exp (- x)))))
1.5s
(* (fma (- (sqrt (cbrt (exp (- x))))) (sqrt (* (cbrt (exp (- x))) (cbrt (exp (- x))))) (* (sqrt (cbrt (exp (- x)))) (sqrt (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (+ (sqrt (exp x)) (sqrt (exp (- x)))))

sample11.5m

Algorithm
72×intervals
Results
8.3m79793×body10240exit
57.9s34979×body1280valid
27.0s198441×body80valid
26.2s176856×body80nan
25.2s24944×body640valid
11.1s22325×body320valid
11.0s30988×body160valid
9.2s153261×pre80true
8.3s5733×body2560valid
3.2s1420×body5120valid
1.4s7968×body160nan
1.0s4065×pre10240exit

prune2.4m

series35.3s

Calls

443 calls:

Slowest
754.0ms
(* (sqrt (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2))) R)
532.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2)) R)
481.0ms
(/ (* e (sin v)) (fma (cos v) e 1))
466.0ms
(* (sqrt (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2))) (* (sqrt (hypot (* (- lambda1 lambda2) (log (exp (cos (/ (+ phi2 phi1) 2))))) (- phi1 phi2))) R))
454.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)))

regimes10.4s

Accuracy

Total 12.9b remaining (14.7%)

2.9b86.4%Cubic critical
2.2b80.8%Quotient of products
1.4b67.5%2-ancestry mixing, positive discriminant
1.1b93.6%Quadratic roots, full range
0.8b0%2-ancestry mixing, zero discriminant

localize3.3s

rewrite2.7s

Algorithm
129×rewrite-expression-head
Calls

443 calls:

Slowest
79.0ms
(+ (* (- (- (/ m v) (/ (pow m 2) v)) 1) 1) (fma (/ m v) (- (* m m) m) m))
46.0ms
(/ (- (pow (/ 2 (+ 1 (exp (* -2 x)))) 3) (pow 1 3)) (log (exp (fma (/ 2 (+ 1 (exp (* -2 x)))) (+ (/ 2 (+ 1 (exp (* -2 x)))) 1) 1))))
43.0ms
(* (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))))
32.0ms
(* (- (/ m v) (+ (/ (pow m 2) v) 1)) m)
31.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))
Rules
3024×times-frac
2802×add-sqr-sqrt
2740×*-un-lft-identity
2531×add-cube-cbrt
1260×sqrt-prod
1198×add-exp-log
926×prod-diff
715×div-inv
693×add-cbrt-cube
626×pow1
567×add-log-exp
504×associate-/r/
452×expm1-log1p-u
445×log1p-expm1-u
370×prod-exp
311×associate-/r*
269×pow-exp
261×associate-*r*
250×div-exp
228×associate-/l*
196×log-pow
193×fma-neg
191×flip-+
190×exp-prod
190×flip3-+
189×pow-to-exp
179×associate-*l*
169×flip--
168×flip3--
158×fma-def
132×difference-of-squares
122×unpow-prod-down
115×distribute-rgt-in
115×distribute-lft-in
113×cbrt-prod
103×frac-2neg
103×clear-num
101×cube-prod
99×rec-exp
84×cbrt-undiv
84×associate-*r/
77×sub-neg
75×*-commutative
75×neg-mul-1
74×distribute-lft-out--
74×cbrt-div
64×cube-mult
59×associate-/l/
57×cbrt-unprod
56×frac-times
54×unpow3
52×log-prod
51×associate-*l/
51×diff-log
48×pow-prod-down
48×pow1/3
48×fma-udef
40×distribute-lft-out
40×sqrt-div
40×+-commutative
35×pow1/2
34×rem-sqrt-square
28×log1p-udef
27×div-sub
22×pow-flip
21×log-div
19×sum-log
19×pow-prod-up
15×pow2
15×pow-plus
14×difference-cubes
14×inv-pow
14×frac-add
13×neg-sub0
13×rem-log-exp
12×tanh-def
12×tan-quot
11×log1p-expm1
11×pow-pow
10×acos-asin
8×frac-sub
8×difference-of-sqr-1
8×cos-sum
7×associate--l-
6×sin-sum
6×associate-+l-
5×distribute-frac-neg
4×exp-diff
4×associate--l+
4×associate--r+
4×acos-neg
4×expm1-def
4×distribute-rgt-out
3×rem-cube-cbrt
3×associate-+r+
3×hypot-udef
3×unpow2
3×rem-exp-log
3×sin-mult
3×un-div-inv
2×expm1-log1p
2×expm1-udef
2×distribute-rgt1-in
2×log1p-def
2×distribute-rgt-out--
2×sub-div
2×cube-div
2×cos-diff
1×tanh-undef
1×asin-acos
1×sin-diff

bsearch1.8s

end1.0ms