Details

sample2.4m (53.3%)

Algorithm

21×

intervals

Results

1.4m	38532×	body	10240	exit
15.3s	7430×	body	1280	valid
12.8s	57884×	body	80	nan
11.1s	56666×	body	80	valid
10.2s	3434×	body	2560	valid
4.7s	4594×	body	640	valid
1.5s	2292×	body	320	valid
578.0ms	1169×	body	160	valid
394.0ms	8356×	pre	80	true
121.0ms	42×	body	5120	valid
43.0ms	32×	body	2560	nan
23.0ms	9×	body	5120	nan
18.0ms	23×	body	1280	nan
12.0ms	14×	body	640	nan
4.0ms	10×	body	320	nan
2.0ms	6×	body	160	nan

simplify57.3s (21.1%)

prune45.3s (16.7%)

series16.3s (6.0%)

Calls

112 calls:

1.7s	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
1.7s	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
1.7s	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (* l (/ l Om)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))
1.6s	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (* l (/ l Om)))) (* (* n (/ l Om)) (* (/ l Om) (- U U*))))))
595.0ms	(* (* (* 2 n) U) (- (- t (* 2 (* l (/ l Om)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))

regimes4.0s (1.5%)

Accuracy

Total 13.5b remaining (6.1%)

Threshold costs 1.9b (0.8%)

9.5b	4.2%	Toniolo and Linder, Equation (13)
2.1b	0%	Random Jason Timeout Test 006
0.6b	0%	Random Jason Timeout Test 002
0.6b	0%	Random Jason Timeout Test 014
0.4b	0%	Random Jason Timeout Test 012

rewrite2.0s (0.8%)

Algorithm

33×	rewrite-expression-head

Calls

112 calls:

169.0ms	(* (* (* 2 n) U) (- (- t (* 2 (* l (/ l Om)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))
163.0ms	(* (* (* 2 n) U) (- (- t (* 2 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
161.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
160.0ms	(* (* (* 2 n) U) (- (- t (* 2 (* l (/ l Om)))) (* (* n (/ l Om)) (* (/ l Om) (- U U*)))))
152.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (* l (/ l Om)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))

Rules

557×	`add-sqr-sqrt`
487×	`*-un-lft-identity`
427×	`add-cube-cbrt`
362×	`pow1`
283×	`add-exp-log`
275×	`associate-*r/`
235×	`add-cbrt-cube`
228×	`prod-diff`
170×	`sqrt-prod`
161×	`unpow-prod-down`
132×	`unpow-prod-up`
113×	`add-log-exp` `log1p-expm1-u`
112×	`expm1-log1p-u` `insert-posit16`
110×	`flip3--` `flip--`
108×	`associate-r`
107×	`frac-times`
104×	`frac-sub`
87×	`prod-exp`
84×	`distribute-rgt-in` `distribute-lft-in`
79×	`pow-prod-down`
76×	`pow-unpow`
74×	`sinh-def`
72×	`sqrt-pow1` `cbrt-unprod`
68×	`cbrt-prod` `times-frac`
67×	`associate-*l/`
61×	`associate-l`
60×	`sqrt-div`
58×	`pow-pow`
40×	`pow1/2` `associate--l+`
36×	`sub-neg`
30×	`pow-prod-up` `distribute-lft-out--` `difference-of-squares`
29×	`unswap-sqr`
28×	`cbrt-div`
26×	`pow1/3` `pow-exp`
24×	`swap-sqr`
20×	`*-commutative`
19×	`pow-to-exp` `pow-plus`
18×	`sqr-pow` `log-prod`
16×	`exp-prod`
15×	`log-pow`
14×	`div-exp` `rem-sqrt-square` `pow-sqr`
12×	`pow-sub` `sqrt-pow2`
11×	`cbrt-undiv` `pow2`
8×	`associate-/r*`
6×	`associate-/l*` `div-inv`
5×	`rem-log-exp`
4×	`expm1-udef` `pow3` `fma-udef`
3×	`exp-sum` `sin-diff`
2×	`unpow2` `rem-exp-log` `associate-/l/` `frac-2neg` `cube-unmult` `associate-/r/` `acos-asin` `clear-num` `rem-cbrt-cube`
1×	`div-sub` `expm1-log1p`

localize1.5s (0.6%)

bsearch510.0ms (0.2%)

end0.0ms (0.0%)