Date:Tuesday, February 18th, 2020
Commit:3b7244d2 on master
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.4%)

Algorithm
21×intervals
Results
35.1s38882×body10240exit
6.8s7259×body1280valid
5.5s3452×body2560valid
2.8s58563×body80nan
2.7s56734×body80valid
2.0s4552×body640valid
566.0ms2355×body320valid
195.0ms1213×body160valid
125.0ms8356×pre80true
55.0ms28×body5120valid
28.0ms13×body5120nan
19.0ms27×body2560nan
8.0ms26×body1280nan
3.0ms14×body640nan
1.0ms10×body320nan
1.0ms10×body160nan

series28.1s (26.7%)

Calls

99 calls:

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) (* (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 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
4.6s
(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*))))

prune9.4s (9.0%)

simplify3.3s (3.1%)

Algorithm
47×egg-herbie

regimes1.7s (1.6%)

Accuracy

Total 13.5b remaining (6%)

Threshold costs 0.6b (0.3%)

11.1b-20.2%Toniolo and Linder, Equation (13)
1.8b0%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:

417.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*))))))
80.0ms
(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
57.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*))))
51.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
45.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
418×add-sqr-sqrt
360×sqrt-div
298×*-un-lft-identity
288×add-exp-log
262×add-cube-cbrt
245×pow1
214×sqrt-prod
167×add-cbrt-cube
148×unpow-prod-down
123×associate-*r*
116×add-log-exp
114×log-prod
113×prod-exp
90×associate-*l/
65×cube-prod
63×pow-prod-down
58×times-frac
57×sqrt-pow1
56×associate-*l*
54×unswap-sqr
45×cbrt-prod
38×pow-exp
37×cbrt-unprod
35×pow1/2
31×exp-prod
30×log-pow
29×sqr-pow
26×pow-unpow
25×pow-to-exp pow-pow
24×exp-sum
20×sub-neg
18×difference-of-squares distribute-lft-out--
16×distribute-rgt-in distribute-lft-in div-exp
15×rem-sqrt-square
14×*-commutative
13×rem-log-exp
12×associate--l+
10×unpow3 cube-mult
8×sum-log swap-sqr unpow-prod-up associate-/r*
6×pow1/3 pow-prod-up associate-/l*
5×sqrt-pow2 div-inv
4×+-commutative flip3-+ flip-+ rem-exp-log pow-sub
3×cbrt-undiv pow-sqr
2×associate-/l/ associate-+r+ pow-plus rem-cube-cbrt acos-asin associate-/r/ clear-num frac-2neg sinh-def
1×rem-square-sqrt sqrt-unprod div-sub pow2

bsearch620.0ms (0.6%)

localize422.0ms (0.4%)

end0.0ms (0.0%)