Date:Thursday, April 30th, 2020
Commit:56fb38c9 on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020121
Parameters:256 points for 4 iterations
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

Details

sample1.3m (68.3%)

Algorithm
21×intervals
Results
45.5s38733×body5120exit
7.5s7440×body1280valid
6.0s3410×body2560valid
3.8s56621×body80valid
3.4s50588×body80nan
2.3s4705×body640valid
2.1s3059×body1280nan
1.1s2664×body640nan
628.0ms2228×body320valid
335.0ms1306×body320nan
210.0ms1126×body160valid
154.0ms8356×pre80true
120.0ms693×body160nan
65.0ms33×body5120valid
32.0ms42×body2560nan
25.0ms10×body5120nan

series24.0s (21.0%)

Calls

86 calls:

4.7s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* (/ l (* (cbrt Om) (cbrt Om))) (/ l (cbrt Om))))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
4.6s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
4.6s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
1.8s
(sqrt (* (* (* 2.0 n) U) (fma (* (cbrt (- t (* 2.0 (* l (/ l Om))))) (cbrt (- t (* 2.0 (* l (/ l Om)))))) (cbrt (- t (* 2.0 (* l (/ l Om))))) (- (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
1.3s
(* (* (* 2.0 n) U) (- (- t (* 2.0 (* (/ l (* (cbrt Om) (cbrt Om))) (/ l (cbrt Om))))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

prune6.4s (5.6%)

Filtered
2008 candidates to 1339 candidates (66.7%)

simplify3.1s (2.7%)

Algorithm
45×egg-herbie

regimes2.0s (1.7%)

Accuracy

Total 8.4b remaining (3.8%)

Threshold costs 0.4b (0.2%)

6.0b37%Toniolo and Linder, Equation (13)
2.0b0%Random Jason Timeout Test 006
0.3b0%Random Jason Timeout Test 012
0.0b0%Random Jason Timeout Test 004
0.0b0%Random Jason Timeout Test 003

rewrite409.0ms (0.4%)

Algorithm
27×rewrite-expression-head
Calls

86 calls:

17.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (* (/ l (* (cbrt Om) (cbrt Om))) (/ l (cbrt Om))))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
16.0ms
(sqrt (atan2 b b))
15.0ms
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
13.0ms
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* (/ l (* (cbrt Om) (cbrt Om))) (/ l (cbrt Om))))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
13.0ms
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
Rules
390×add-sqr-sqrt
344×*-un-lft-identity
306×add-cube-cbrt
210×pow1
162×add-exp-log
143×unpow-prod-down
138×prod-diff
133×cbrt-prod
131×add-cbrt-cube
99×add-log-exp
87×log1p-expm1-u
86×expm1-log1p-u
73×times-frac
71×exp-prod
70×sqrt-prod
68×associate-*r/
66×associate-*r* unpow-prod-up
63×distribute-rgt-in distribute-lft-in
61×pow-unpow
52×cube-prod
45×flip-- flip3--
44×associate--r+ pow-prod-down
40×associate--l+ sqrt-pow1
32×frac-sub prod-exp
26×sub-neg
25×sqr-pow pow-pow log-pow
24×pow1/2
23×cbrt-unprod
19×difference-of-squares distribute-lft-out-- pow-exp
18×sqrt-div log-prod associate-*l*
16×pow-to-exp unswap-sqr
14×rem-sqrt-square
13×pow1/3
11×unpow3 cube-mult
8×associate-/r*
7×*-commutative
6×associate-/l* swap-sqr cbrt-div div-inv div-exp fma-neg diff-log
5×rem-cube-cbrt rem-log-exp pow-sub
4×sqrt-pow2
3×cbrt-undiv expm1-udef rem-exp-log exp-sum
2×associate-/l/ pow-sqr div-sub acos-asin associate--l- associate-/r/ rem-cbrt-cube pow-prod-up clear-num frac-2neg sin-diff
1×expm1-log1p pow-plus exp-to-pow pow2

localize376.0ms (0.3%)

bsearch5.0ms (0.0%)

end0.0ms (0.0%)