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: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.1m (56.0%)

Algorithm
21×intervals
Results
37.9s39293×body10240exit
6.8s7274×body1280valid
5.5s3491×body2560valid
3.1s56652×body80valid
2.3s50144×body80nan
2.1s4686×body640valid
1.5s2943×body1280nan
748.0ms2663×body640nan
563.0ms2241×body320valid
230.0ms1342×body320nan
204.0ms1193×body160valid
119.0ms8356×pre80true
81.0ms677×body160nan
32.0ms24×body5120valid
21.0ms29×body2560nan
15.0ms7×body5120nan

series35.4s (30.0%)

Calls

103 calls:

4.9s
(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*))))))
4.8s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
4.8s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
4.8s
(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*)))))

prune10.1s (8.5%)

Filtered
2605 candidates to 1667 candidates (64.0%)

simplify3.3s (2.8%)

Algorithm
47×egg-herbie

regimes1.8s (1.5%)

Accuracy

Total 10.7b remaining (4.9%)

Threshold costs 0.1b (0.1%)

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

rewrite720.0ms (0.6%)

Algorithm
29×rewrite-expression-head
Calls

103 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*))))))
20.0ms
(log (* (exp (/ (log1p a) 2)) (exp (/ (log1p a) 2))))
19.0ms
(log (* (exp (/ (log1p a) 2)) (exp (/ (log1p a) 2))))
19.0ms
(* (exp (/ (log1p a) 2)) (exp (/ (log1p a) 2)))
17.0ms
(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a)))
Rules
1070×associate-*r/
900×cbrt-div
795×flip-- flip3--
663×add-sqr-sqrt
632×frac-sub
542×frac-times
438×*-un-lft-identity
382×add-cube-cbrt
366×sqrt-div
296×sqrt-prod
267×add-exp-log
262×pow1
254×unpow-prod-down
252×exp-prod
207×times-frac
182×add-cbrt-cube
180×associate-*r*
134×add-log-exp
129×cbrt-prod
125×pow-prod-down
117×unswap-sqr
102×prod-exp
99×log-pow
92×associate-*l/
89×associate-*l*
67×swap-sqr
61×sqr-pow
46×pow-prod-up pow-sqr
45×cbrt-unprod
41×sub-neg
40×unpow-prod-up
37×sqrt-pow1
36×pow-exp
33×pow-to-exp
26×distribute-rgt-in distribute-lft-in
21×div-inv
20×*-commutative
18×difference-of-squares pow1/2
17×pow1/3 distribute-lft-out--
16×cube-prod sum-log associate--l+
14×pow-unpow
11×rem-sqrt-square
10×pow-sub
8×pow-pow +-commutative flip3-+ flip-+ log-prod associate-/r*
6×associate-/l* div-exp pow2 rem-log-exp
4×unpow3 cube-mult exp-sqrt pow-plus
3×cbrt-undiv acos-asin
2×distribute-lft-out associate-+r+ sqrt-pow2 associate-+l+ asin-acos associate-/r/ associate-/l/ clear-num frac-2neg sinh-def
1×diff-log rem-square-sqrt rem-exp-log associate--r- sqrt-unprod div-sub

localize427.0ms (0.4%)

bsearch275.0ms (0.2%)

end0.0ms (0.0%)