Date:Tuesday, February 18th, 2020
Commit:5d186d9c on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020049
Parameters:256 points for 4 iterations
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

Details

sample1.0m (57.0%)

Algorithm
21×intervals
Results
35.4s38882×body10240exit
6.8s7259×body1280valid
5.5s3452×body2560valid
2.9s58563×body80nan
2.8s56734×body80valid
2.0s4552×body640valid
586.0ms2355×body320valid
205.0ms1213×body160valid
117.0ms8356×pre80true
51.0ms28×body5120valid
28.0ms13×body5120nan
19.0ms27×body2560nan
8.0ms26×body1280nan
3.0ms14×body640nan
1.0ms10×body320nan
1.0ms10×body160nan

series28.3s (26.5%)

Calls

99 calls:

4.8s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
4.7s
(sqrt (* (* (* (* 2.0 n) U) (* (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))))
4.7s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
4.7s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
1.3s
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

prune10.0s (9.3%)

simplify3.5s (3.3%)

Algorithm
47×egg-herbie

regimes1.8s (1.7%)

Accuracy

Total 13.4b remaining (6%)

Threshold costs 0.6b (0.3%)

11.1b-20.2%Toniolo and Linder, Equation (13)
1.7b0%Random Jason Timeout Test 006
0.4b0%Random Jason Timeout Test 012
0.1b0%Random Jason Timeout Test 003
0.1b0%Random Jason Timeout Test 015

rewrite1.3s (1.2%)

Algorithm
29×rewrite-expression-head
Calls

99 calls:

436.0ms
(sqrt (* (* (* (* 2.0 n) U) (* (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))))
85.0ms
(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
61.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
53.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
48.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
Rules
1048×associate-*r/
900×cbrt-div
784×flip-- flip3--
624×frac-sub
540×frac-times
495×add-sqr-sqrt
360×sqrt-div
317×*-un-lft-identity
295×add-exp-log
281×add-cube-cbrt
260×sqrt-prod
257×pow1
168×add-cbrt-cube
163×associate-*r*
154×unpow-prod-down
124×prod-exp
117×add-log-exp
90×associate-*l/
89×cbrt-prod
81×unswap-sqr
69×log-prod
68×pow-prod-down
66×associate-*l*
59×sqrt-pow1
58×times-frac
53×cube-prod
43×pow-exp
40×cbrt-unprod
37×swap-sqr pow1/2
35×sqr-pow
31×exp-prod
30×pow-to-exp
24×exp-sum log-pow
23×pow-unpow
21×pow-pow
20×sub-neg
18×difference-of-squares distribute-lft-out--
17×*-commutative rem-sqrt-square
16×distribute-lft-in distribute-rgt-in div-exp
15×pow1/3
12×associate--l+
11×pow-prod-up
10×rem-log-exp
8×sum-log unpow-prod-up pow-sqr associate-/r*
6×cube-mult unpow3 associate-/l*
5×sqrt-pow2 rem-exp-log div-inv
4×unpow1/2 +-commutative flip3-+ flip-+ pow2 pow-sub
3×cbrt-undiv pow-plus
2×associate-/l/ associate-+r+ rem-square-sqrt acos-asin sqrt-unprod associate-/r/ clear-num frac-2neg sinh-def
1×rem-cube-cbrt div-sub

bsearch621.0ms (0.6%)

localize451.0ms (0.4%)

end0.0ms (0.0%)