Details

sample18.3s

Algorithm

2×

intervals

Results

13.1s	8065×	body	10240	exit
2.4s	2411×	body	1280	valid
1.1s	1628×	body	640	valid
376.0ms	5479×	body	80	nan
351.0ms	2825×	body	80	valid
260.0ms	802×	body	320	valid
239.0ms	164×	body	2560	valid
82.0ms	421×	body	160	valid
13.0ms	5×	body	5120	valid

prune2.8s

simplify1.7s

Calls

76 calls:

Slowest

75.0ms	(+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
64.0ms	(+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
61.0ms	(exp (* (cbrt (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))))
60.0ms	(exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
60.0ms	(exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))

regimes677.0ms

Accuracy

Total 0.2b remaining (0.6%)

0.2b

0%

Random Jason Timeout Test 004

localize409.0ms

series360.0ms

Calls

14 calls:

Slowest

179.0ms	(pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))
59.0ms	(cosh c)
54.0ms	(cosh c)
22.0ms	(log (fmod (cosh c) (log1p a)))
17.0ms	(fmod (cosh c) (log1p a))

rewrite28.0ms

Algorithm

4×	rewrite-expression-head

Calls

14 calls:

Slowest

9.0ms	(pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))
7.0ms	(exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
3.0ms	(exp (log (fmod (cosh c) (log1p a))))
2.0ms	(fmod (cosh c) (log1p a))
1.0ms	(cosh c)

Rules

22×	`add-sqr-sqrt`
22×	`add-cube-cbrt`
22×	`*-un-lft-identity`
18×	`pow1`
15×	`add-exp-log`
15×	`add-log-exp`
14×	`insert-posit16`
14×	`add-cbrt-cube`
12×	`exp-prod`
7×	`pow-unpow`
6×	`log-prod`
6×	`cbrt-prod`
5×	`pow-pow`
3×	`log-pow`
3×	`unpow-prod-down`
3×	`exp-sum`
2×	`rem-exp-log`
2×	`cosh-def`
1×	`pow-to-exp`
1×	`pow-exp`
1×	`rem-log-exp`

bsearch2.0ms

end0.0ms