Time: 2.4m
Passed: 2/10
Tests: 12
Bits: 6/190
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
Toniolo and Linder, Equation (13)33.228.747.1s»
Random Jason Timeout Test 015313.0ms»
Random Jason Timeout Test 0140.00.015.1s»
Random Jason Timeout Test 01260.559.541.2s»
Random Jason Timeout Test 009119.0ms»
Random Jason Timeout Test 006505.0ms»
Random Jason Timeout Test 00434.634.624.2s»
Random Jason Timeout Test 003102.0ms»
Random Jason Timeout Test 0020.00.014.7s»
Random Jason Timeout Test 00124.0ms»
Area of a triangle20.0ms»
(/ (- x lo) (- hi lo))62.062.01.9s»

Details

sample1.3m

Algorithm
12×intervals
Results
50.7s32237×body10240exit
7.8s3413×body2560valid
6.1s38044×body80nan
5.7s5092×body1280valid
4.5s37203×body80valid
1.8s2906×body640valid
848.0ms1471×body320valid
263.0ms8256×pre80true
199.0ms743×body160valid
32.0ms16×body5120valid
27.0ms9×body5120nan
15.0ms9×body2560nan
9.0ms10×body1280nan
8.0ms13×body640nan
4.0ms10×body320nan
2.0ms6×body160nan

simplify33.1s

Calls

497 calls:

Slowest
587.0ms
(* (fma (- (- U U*)) (* n (pow (/ l Om) 2)) (* (- U U*) (* n (pow (/ l Om) 2)))) (* (* 2 n) U))
505.0ms
(exp (* 1/2 (- (+ (* 2 (log (/ 1 Om))) (log -2)) (+ (* 2 (log (/ 1 l))) (+ (* 2 (log (/ 1 n))) (* 2 (log (/ 1 U))))))))
502.0ms
(* (fma (- (- U U*)) (* n (pow (/ l Om) 2)) (* (- U U*) (* n (pow (/ l Om) 2)))) (* (* 2 n) U))
497.0ms
(* (fma (- (- U U*)) (* n (pow (/ l Om) 2)) (* (- U U*) (* n (pow (/ l Om) 2)))) (* (* 2 n) U))
399.0ms
(sqrt (* (* (* 2 n) U) (- (* (- (pow t 3) (pow (* 2 (/ (* l l) Om)) 3)) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ (* t t) (+ (* (* 2 (/ (* l l) Om)) (* 2 (/ (* l l) Om))) (* t (* 2 (/ (* l l) Om))))) (* (* n (pow (/ l Om) 2)) (- (pow U 3) (pow U* 3)))))))

prune15.5s

series7.2s

Calls

61 calls:

Slowest
1.3s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
721.0ms
(sinh c)
461.0ms
(pow (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))) 1/2)
359.0ms
(pow (* (* (* (* 2 n) U) (* (cbrt (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))) (cbrt (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))) (cbrt (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))) 1/2)
359.0ms
(pow (* (* (* (* 2 n) U) (* (cbrt (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))) (cbrt (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))) (* (cbrt (* (cbrt (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))) (cbrt (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))) (cbrt (cbrt (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))))) 1/2)

regimes1.8s

Accuracy

Total 4.0b remaining (2.1%)

3.6b55.6%Toniolo and Linder, Equation (13)
0.3b0%Random Jason Timeout Test 012
0.1b0%Random Jason Timeout Test 004
0.0b0%Random Jason Timeout Test 002
0.0b0%Random Jason Timeout Test 014

rewrite688.0ms

Algorithm
21×rewrite-expression-head
Calls

61 calls:

Slowest
317.0ms
(pow (* (* (* (* 2 n) U) (* (cbrt (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))) (cbrt (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))) (* (cbrt (* (cbrt (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))) (cbrt (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))) (cbrt (cbrt (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))))) 1/2)
124.0ms
(pow (* (* (* (* 2 n) U) (* (cbrt (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))) (cbrt (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))) (cbrt (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))) 1/2)
26.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
24.0ms
(pow (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))) 1/2)
20.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
Rules
118×pow1
110×add-exp-log
108×add-sqr-sqrt
107×*-un-lft-identity
107×add-cube-cbrt
73×add-cbrt-cube
66×add-log-exp
63×expm1-log1p-u
61×log1p-expm1-u
58×associate-*r/
56×associate-*r*
49×flip3--
49×flip--
36×frac-sub
36×cbrt-div
30×pow-prod-down
28×prod-exp
24×cbrt-prod
18×distribute-rgt-in
18×distribute-lft-in
16×associate-*l*
13×pow-exp
13×pow-pow
12×exp-prod
12×log-prod
12×sub-neg
12×*-commutative
12×prod-diff
11×unpow-prod-down
10×pow1/3
10×sqrt-prod
9×log-pow
9×times-frac
8×sinh-def
8×associate--l+
6×sqrt-div
6×pow1/2
6×cbrt-unprod
6×exp-sum
4×pow-prod-up
3×pow-to-exp
3×associate-/l*
3×unpow1/2
3×associate-/r*
3×div-inv
2×expm1-log1p
2×sum-log
2×expm1-udef
2×exp-diff
2×fma-def
2×unpow2
2×rem-log-exp
2×flip3-+
2×log1p-expm1
2×pow2
2×associate-/r/
2×log1p-udef
2×rem-exp-log
2×+-commutative
2×pow-plus
2×acos-asin
2×flip-+
2×cube-mult
2×associate-/l/
2×unpow3
2×associate-+r+
2×log-div
1×div-exp
1×div-sub
1×cbrt-undiv
1×rem-square-sqrt
1×frac-2neg
1×exp-to-pow
1×rem-sqrt-square
1×sqrt-unprod
1×clear-num

localize516.0ms

bsearch17.0ms

end0.0ms