Date:Thursday, April 30th, 2020
Commit:8dd810b8 on joint-profile
Hostname:warfa with Racket 7.5
Seed:2020121
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 (60.5%)

Algorithm
21×intervals
Results
37.1s38733×body10240exit
7.0s7440×body1280valid
5.4s3410×body2560valid
3.1s56621×body80valid
2.4s50588×body80nan
2.1s4705×body640valid
1.6s3059×body1280nan
747.0ms2664×body640nan
559.0ms2228×body320valid
228.0ms1306×body320nan
195.0ms1126×body160valid
120.0ms8356×pre80true
81.0ms693×body160nan
64.0ms33×body5120valid
28.0ms42×body2560nan
21.0ms10×body5120nan

series28.0s (25.9%)

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) (* (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.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 (* (cbrt Om) (cbrt Om))) (/ l (cbrt Om))))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

prune8.1s (7.5%)

Filtered
2076 candidates to 1317 candidates (63.4%)

simplify3.7s (3.4%)

Algorithm
45×egg-herbie

regimes2.0s (1.8%)

Accuracy

Total 8.2b remaining (3.7%)

Threshold costs 0.2b (0.1%)

6.0b37.2%Toniolo and Linder, Equation (13)
2.0b0%Random Jason Timeout Test 006
0.1b0%Random Jason Timeout Test 012
0.0b0%Random Jason Timeout Test 003
0.0b0%Random Jason Timeout Test 015

rewrite512.0ms (0.5%)

Algorithm
27×rewrite-expression-head
Calls

86 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*))))))
13.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
12.0ms
(/ (- x lo) (- hi lo))
12.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
12.0ms
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
Rules
1052×associate-*r/
900×cbrt-div
792×flip-- flip3--
632×frac-sub
540×frac-times
360×sqrt-div
320×add-sqr-sqrt
274×*-un-lft-identity
236×add-cube-cbrt
233×pow1
162×add-exp-log
150×unpow-prod-down
133×cbrt-prod
131×add-cbrt-cube
98×add-log-exp
93×exp-prod
90×associate-*l/
73×sqrt-prod times-frac
66×associate-*r*
61×pow-unpow
60×pow-prod-down
52×cube-prod
49×log-pow
44×sqrt-pow1
32×prod-exp
26×sub-neg sqr-pow
25×pow-pow
24×log-prod pow1/2
23×cbrt-unprod
19×difference-of-squares distribute-lft-out-- pow-exp
18×distribute-rgt-in associate-*l* distribute-lft-in
16×associate--l+ pow-to-exp unswap-sqr
14×rem-sqrt-square
13×pow1/3
12×unpow-prod-up
11×cube-mult unpow3
8×associate--r+ associate-/r*
7×*-commutative rem-log-exp
6×diff-log associate-/l* swap-sqr div-inv div-exp
5×rem-cube-cbrt pow-sub
4×sqrt-pow2 acos-asin
3×cbrt-undiv rem-exp-log exp-sum
2×associate-/l/ pow-sqr div-sub associate--l- associate-/r/ rem-cbrt-cube pow-prod-up clear-num frac-2neg
1×pow-plus pow2

localize385.0ms (0.4%)

bsearch5.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...