Date:Tuesday, March 3rd, 2020
Commit:ee6b458f on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020063
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.1m (57.7%)

Algorithm
21×intervals
Results
37.8s39293×body10240exit
6.9s7274×body1280valid
5.5s3491×body2560valid
3.4s56652×body80valid
2.4s50144×body80nan
2.1s4686×body640valid
1.5s2943×body1280nan
747.0ms2663×body640nan
573.0ms2241×body320valid
232.0ms1342×body320nan
210.0ms1193×body160valid
123.0ms8356×pre80true
79.0ms677×body160nan
31.0ms24×body5120valid
20.0ms29×body2560nan
15.0ms7×body5120nan

series30.2s (26.3%)

Calls

105 calls:

5.7s
(sqrt (+ (* (* (* 2.0 n) U) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (* l (/ l Om)) 2.0)))) (* (* (* 2.0 n) U) (- (fma (- (* l (/ l Om))) 2.0 (* (* l (/ l Om)) 2.0)) (* (* 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*)))))
4.6s
(sqrt (* (* (* (* 2.0 n) U) (* (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))) (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 (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

prune11.2s (9.7%)

Filtered
2761 candidates to 1786 candidates (64.7%)

simplify3.8s (3.3%)

Algorithm
49×egg-herbie

regimes1.8s (1.6%)

Accuracy

Total 10.7b remaining (4.9%)

Threshold costs 0.1b (0.1%)

7.7b23.1%Toniolo and Linder, Equation (13)
1.8b0%Random Jason Timeout Test 004
1.1b0%Random Jason Timeout Test 006
0.1b91.5%Random Jason Timeout Test 012
0.0b0%Random Jason Timeout Test 003

rewrite603.0ms (0.5%)

Algorithm
31×rewrite-expression-head
Calls

105 calls:

54.0ms
(sqrt (* (* (* (* 2.0 n) U) (* (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
23.0ms
(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a)))
22.0ms
(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a)))
21.0ms
(pow (sqrt (atan2 b b)) (- b a))
16.0ms
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
Rules
1034×associate-*r/
906×cbrt-div
776×flip-- flip3--
616×frac-sub
542×frac-times
524×add-sqr-sqrt
412×*-un-lft-identity
370×add-cube-cbrt
356×sqrt-div
238×add-exp-log
232×unpow-prod-down
229×pow1
195×sqrt-prod
192×prod-diff
173×add-cbrt-cube
144×unpow-prod-up
128×cbrt-prod
108×log1p-expm1-u
107×expm1-log1p-u
105×add-log-exp
92×associate-*l/ associate-*r*
91×log-prod
74×prod-exp
71×distribute-rgt-in distribute-lft-in
65×pow-prod-down
64×swap-sqr
58×associate-*l*
54×unswap-sqr
48×exp-sum
47×sqr-pow
46×sqrt-pow1
38×times-frac
37×cbrt-unprod
36×cube-prod
32×sub-neg
31×pow-exp
30×pow-unpow
29×pow1/3
27×pow-to-exp
25×pow-pow
22×associate--l+
17×difference-of-squares distribute-lft-out--
16×sinh-def
15×pow1/2
14×log-div
12×cube-div cube-mult unpow3 pow-sub
10×*-commutative
9×rem-log-exp log-pow
8×exp-prod fma-udef rem-sqrt-square associate-/r*
7×div-exp
6×expm1-udef associate-/l*
5×distribute-lft-out flip-+ flip3-+
4×exp-diff rem-cube-cbrt pow-sqr pow-prod-up
3×expm1-log1p cbrt-undiv sqrt-pow2 log1p-udef rem-cbrt-cube div-inv sin-diff pow2 log1p-expm1
2×associate-/l/ acos-asin rem-exp-log log1p-def associate-/r/ clear-num frac-2neg
1×pow-plus div-sub pow3

bsearch492.0ms (0.4%)

localize477.0ms (0.4%)

end0.0ms (0.0%)