Time: 10.0m
Passed: 2/10
Tests: 12
Bits: 5/189
Date:Thursday, January 10th, 2019
Commit:dd874ef03c8e15d9e2f572e0b328fc0229fb74e1 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019010
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
Toniolo and Linder, Equation (13)32.729.32.1m»
Random Jason Timeout Test 01557.5s»
Random Jason Timeout Test 0140.00.012.2s»
Random Jason Timeout Test 01260.559.355.8s»
Random Jason Timeout Test 0098.0s»
Random Jason Timeout Test 0063.5m»
Random Jason Timeout Test 00434.034.029.2s»
Random Jason Timeout Test 00356.2s»
Random Jason Timeout Test 0020.00.011.8s»
Random Jason Timeout Test 00117.5s»
Area of a triangle12.4s»
(/ (- x lo) (- hi lo))62.062.02.0s»

Details

sample1.7m

Algorithm
12×intervals

simplify1.5m

Calls

735 calls:

Slowest
665.0ms
(sqrt (* (* (* (* 2 n) U) (* (cbrt (- (* (- (* t t) (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l))))) (+ U U*)) (* (+ t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- (* U U) (* U* U*)))))) (cbrt (- (* (- (* t t) (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l))))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- (pow U 3) (pow U* 3)))))))) (cbrt (- (* (- (* t t) (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l))))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- (pow U 3) (pow U* 3))))))))
600.0ms
(sqrt (* (* (* 2 n) U) (- (* (- (* t t) (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l))))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- (pow U 3) (pow U* 3)))))))
543.0ms
(sqrt (* (* (* (* 2 n) U) (* (cbrt (- (* (- (pow t 3) (pow (* 2 (/ l (/ Om l))) 3)) (+ U U*)) (* (+ (* t t) (+ (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l)))) (* t (* 2 (/ l (/ Om l)))))) (* (* n (pow (/ l Om) 2)) (- (* U U) (* U* U*)))))) (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))) (cbrt (- (* (- t (* 2 (/ l (/ Om l)))) (- t (* 2 (/ l (/ Om l))))) (* (* (* n (pow (/ l Om) 2)) (- U U*)) (* (* n (pow (/ l Om) 2)) (- U U*)))))))
507.0ms
(sqrt (* (* (* (* 2 n) U) (* (cbrt (- (* (- (pow t 3) (pow (* 2 (/ l (/ Om l))) 3)) (+ U U*)) (* (+ (* t t) (+ (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l)))) (* t (* 2 (/ l (/ Om l)))))) (* (* n (pow (/ l Om) 2)) (- (* U U) (* U* U*)))))) (cbrt (- (* (- (pow t 3) (pow (* 2 (/ l (/ Om l))) 3)) (+ U U*)) (* (+ (* t t) (+ (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l)))) (* t (* 2 (/ l (/ Om l)))))) (* (* n (pow (/ l Om) 2)) (- (* U U) (* U* U*)))))))) (cbrt (- (* (- (* t t) (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l))))) (+ U U*)) (* (+ t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- (* U U) (* U* U*))))))))
505.0ms
(sqrt (* (* (* (* 2 n) U) (* (cbrt (- (* (- t (* 2 (/ l (/ Om l)))) (- t (* 2 (/ l (/ Om l))))) (* (* (* n (pow (/ l Om) 2)) (- U U*)) (* (* n (pow (/ l Om) 2)) (- U U*))))) (cbrt (- (* (- (* t t) (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l))))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- (pow U 3) (pow U* 3)))))))) (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))))

prune28.7s

series9.5s

Calls

48 calls:

Slowest
1.2s
(sqrt (* (* (* (* 2 n) U) (* (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))) (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))) (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))))
1.2s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
1.2s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
1.2s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
1.2s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))

regimes1.8s

Accuracy

Total 9.1b remaining (4.9%)

8.9b8.5%Toniolo and Linder, Equation (13)
0.1b0%Random Jason Timeout Test 012
0.0b0%Random Jason Timeout Test 004
0.0b0%Random Jason Timeout Test 002
0.0b0%Random Jason Timeout Test 014

rewrite481.0ms

Algorithm
17×rewrite-expression-head
Calls

48 calls:

Slowest
117.0ms
(sqrt (* (* (* (* 2 n) U) (* (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))) (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))) (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))))
52.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
41.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
22.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
21.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
Rules
1072×associate-*r/
894×cbrt-div
793×flip3--
793×flip--
632×frac-sub
540×frac-times
372×sqrt-div
90×associate-*l/
80×add-sqr-sqrt
80×*-un-lft-identity
80×add-cube-cbrt
63×pow1
62×add-exp-log
60×add-cbrt-cube
48×add-log-exp
47×associate-*r*
18×distribute-lft-in
18×sub-neg
18×distribute-rgt-in
16×associate--l+
15×log-prod
14×log-pow
13×exp-prod
11×*-commutative
9×times-frac
9×sqrt-prod
8×unpow-prod-down
6×pow1/2
6×cbrt-prod
5×cbrt-unprod
5×associate-*l*
5×prod-exp
5×pow-prod-down
4×rem-log-exp
4×associate-/l*
4×div-inv
3×exp-sum
3×associate-/r*
3×acos-asin
2×associate-/r/
2×sinh-def
2×unpow2
2×pow1/3
2×frac-2neg
2×unpow3
2×clear-num
2×cube-mult
2×associate-/l/
1×div-sub
1×rem-exp-log
1×cbrt-undiv
1×div-exp

localize474.0ms

bsearch400.0ms

end0.0ms