Details

sample974.0ms

Algorithm

intervals

Results

612.0ms	212×	body	10240	exit
199.0ms	70×	body	1280	valid
33.0ms	49×	body	640	valid
18.0ms	152×	body	80	nan
16.0ms	95×	body	80	valid
14.0ms	27×	body	320	valid
13.0ms	6×	body	2560	valid
3.0ms	9×	body	160	valid

simplify18.0ms

Calls

1 calls:

Slowest

17.0ms

(fmod (cosh c) (log1p a))

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.0b

localize25.0ms

Local error

Found 2 expressions with local error:

37.5b	(fmod (cosh c) (log1p a))
0.0b	(cosh c)

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

2×	`add-sqr-sqrt` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `add-log-exp`
1×	`cosh-def`

Calls

2 calls:

Slowest

3.0ms	(cosh c)
1.0ms	(fmod (cosh c) (log1p a))

series126.0ms

Calls

2 calls:

Slowest

109.0ms	(cosh c)
16.0ms	(fmod (cosh c) (log1p a))

simplify403.0ms

Calls

6 calls:

Slowest

250.0ms	(* 1/2 (+ (exp (* -1 c)) (exp c)))
77.0ms	(+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
41.0ms	(* 1/2 (+ (exp c) (exp (- c))))
11.0ms	(fmod (cosh c) (log1p a))
11.0ms	(fmod (cosh c) (log1p a))

prune325.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 33.0b

localize36.0ms

Local error

Found 4 expressions with local error:

37.5b	(fmod (+ (+ (* (* c c) 1/2) 1) (* (* (* c c) (* c c)) 1/24)) (log1p a))
0.1b	(* (* c c) (* c c))
0.1b	(* (* (* c c) (* c c)) 1/24)
0.0b	(* (* c c) 1/2)

rewrite163.0ms

Algorithm

rewrite-expression-head

Rules

138×	`pow1`
39×	`add-cbrt-cube` `pow-prod-down` `add-exp-log`
36×	`pow-prod-up`
24×	`prod-exp` `cbrt-unprod`
22×	`pow-sqr`
18×	`pow-plus`
13×	`pow2`
8×	`add-sqr-sqrt`
7×	`associate-r`
6×	`*-un-lft-identity` `add-cube-cbrt`
4×	`insert-posit16` `add-log-exp`
3×	`associate-l` `*-commutative` `unswap-sqr`
1×	`swap-sqr`

Calls

4 calls:

Slowest

105.0ms	(* (* (* c c) (* c c)) 1/24)
31.0ms	(* (* c c) 1/2)
23.0ms	(* (* c c) (* c c))
0.0ms	(fmod (+ (+ (* (* c c) 1/2) 1) (* (* (* c c) (* c c)) 1/24)) (log1p a))

series150.0ms

Calls

4 calls:

Slowest

73.0ms	(* (* (* c c) (* c c)) 1/24)
39.0ms	(* (* c c) (* c c))
28.0ms	(* (* c c) 1/2)
10.0ms	(fmod (+ (+ (* (* c c) 1/2) 1) (* (* (* c c) (* c c)) 1/24)) (log1p a))

simplify6.0s

Calls

109 calls:

Slowest

503.0ms	(* (* (* (* (* c c) c) (* (* c c) c)) (* (* (* c c) (* c c)) (* c c))) (* (* 1/24 1/24) 1/24))
414.0ms	(* (* (* (* (* c c) (* c c)) (* (* c c) (* c c))) (* (* c c) (* c c))) (* (* 1/24 1/24) 1/24))
403.0ms	(* (* (* (* (* c c) (* c c)) (* c c)) (* (* (* c c) (* c c)) (* c c))) (* (* 1/24 1/24) 1/24))
381.0ms	(* (* (* (* c c) c) (* (* c c) c)) (* (* (* c c) (* c c)) (* c c)))
378.0ms	(* (* (* (* (* c c) (* c c)) (* c c)) (* (* (* c c) c) (* (* c c) c))) (* (* 1/24 1/24) 1/24))

prune1.7s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 32.5b

localize38.0ms

Local error

Found 4 expressions with local error:

37.5b	(fmod (+ (+ (* (* c c) 1/2) 1) (* (sqrt (* (* (* c c) (* c c)) 1/24)) (sqrt (* (* (* c c) (* c c)) 1/24)))) (log1p a))
15.1b	(sqrt (* (* (* c c) (* c c)) 1/24))
15.1b	(sqrt (* (* (* c c) (* c c)) 1/24))
0.1b	(* (sqrt (* (* (* c c) (* c c)) 1/24)) (sqrt (* (* (* c c) (* c c)) 1/24)))

rewrite744.0ms

Algorithm

rewrite-expression-head

Rules

771×	`pow1`
558×	`pow-prod-down`
240×	`sqrt-pow1`
50×	`pow-prod-up`
38×	`pow-sqr`
20×	`pow1/2`
10×	`add-sqr-sqrt`
8×	`*-un-lft-identity` `add-cube-cbrt`
6×	`add-cbrt-cube` `add-exp-log` `sqrt-prod`
4×	`swap-sqr` `associate-r` `associate-l` `insert-posit16` `add-log-exp`
1×	`pow2` `rem-square-sqrt` `pow-plus` `sqrt-unprod` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Calls

4 calls:

Slowest

569.0ms	(* (sqrt (* (* (* c c) (* c c)) 1/24)) (sqrt (* (* (* c c) (* c c)) 1/24)))
83.0ms	(sqrt (* (* (* c c) (* c c)) 1/24))
78.0ms	(sqrt (* (* (* c c) (* c c)) 1/24))
0.0ms	(fmod (+ (+ (* (* c c) 1/2) 1) (* (sqrt (* (* (* c c) (* c c)) 1/24)) (sqrt (* (* (* c c) (* c c)) 1/24)))) (log1p a))

series292.0ms

Calls

4 calls:

Slowest

116.0ms	(* (sqrt (* (* (* c c) (* c c)) 1/24)) (sqrt (* (* (* c c) (* c c)) 1/24)))
93.0ms	(sqrt (* (* (* c c) (* c c)) 1/24))
55.0ms	(sqrt (* (* (* c c) (* c c)) 1/24))
27.0ms	(fmod (+ (+ (* (* c c) 1/2) 1) (* (sqrt (* (* (* c c) (* c c)) 1/24)) (sqrt (* (* (* c c) (* c c)) 1/24)))) (log1p a))

simplify22.3s

Calls

298 calls:

Slowest

472.0ms	(* (* (* c c) (* c c)) 1/24)
256.0ms	(* (* (* (* c c) (* c c)) 1/24) (* (* (* c c) (* c c)) 1/24))
254.0ms	(* (* (* (* c c) (* c c)) 1/24) (* (* (* c c) (* c c)) 1/24))
239.0ms	(* (* (* (* c c) (* c c)) 1/24) (* (* (* c c) (* c c)) 1/24))
236.0ms	(* (* (* (* c c) (* c c)) 1/24) (* (* (* c c) (* c c)) 1/24))

prune1.6s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 32.5b

localize38.0ms

Local error

Found 4 expressions with local error:

37.5b	(fmod (+ (+ (* (* c c) 1/2) 1) (exp (+ (log (sqrt (* (* (* c c) (* c c)) 1/24))) (log (sqrt (* (* (* c c) (* c c)) 1/24)))))) (log1p a))
30.9b	(log (sqrt (* (* (* c c) (* c c)) 1/24)))
30.9b	(log (sqrt (* (* (* c c) (* c c)) 1/24)))
15.1b	(sqrt (* (* (* c c) (* c c)) 1/24))

rewrite188.0ms

Algorithm

rewrite-expression-head

Rules

63×	`pow1`
39×	`pow-prod-down`
18×	`sqrt-pow1`
16×	`log-pow`
8×	`log-prod`
6×	`add-sqr-sqrt` `*-un-lft-identity` `add-exp-log` `add-cube-cbrt`
4×	`add-cbrt-cube` `insert-posit16` `add-log-exp`
3×	`pow1/2` `sqrt-prod`
2×	`rem-log-exp`

Calls

4 calls:

Slowest

68.0ms	(log (sqrt (* (* (* c c) (* c c)) 1/24)))
66.0ms	(log (sqrt (* (* (* c c) (* c c)) 1/24)))
53.0ms	(sqrt (* (* (* c c) (* c c)) 1/24))
0.0ms	(fmod (+ (+ (* (* c c) 1/2) 1) (exp (+ (log (sqrt (* (* (* c c) (* c c)) 1/24))) (log (sqrt (* (* (* c c) (* c c)) 1/24)))))) (log1p a))

series667.0ms

Calls

4 calls:

Slowest

426.0ms	(log (sqrt (* (* (* c c) (* c c)) 1/24)))
176.0ms	(log (sqrt (* (* (* c c) (* c c)) 1/24)))
49.0ms	(sqrt (* (* (* c c) (* c c)) 1/24))
17.0ms	(fmod (+ (+ (* (* c c) 1/2) 1) (exp (+ (log (sqrt (* (* (* c c) (* c c)) 1/24))) (log (sqrt (* (* (* c c) (* c c)) 1/24)))))) (log1p a))

simplify2.0s

Calls

41 calls:

Slowest

123.0ms	(fmod (+ (* 1/2 (pow c 2)) (+ 1 (* (pow (sqrt 1/24) 2) (pow c 4)))) (log1p a))
123.0ms	(fmod (+ (* 1/2 (pow c 2)) (+ 1 (* (pow (sqrt 1/24) 2) (pow c 4)))) (log1p a))
119.0ms	(fmod (+ (* 1/2 (pow c 2)) (+ 1 (* (pow (sqrt 1/24) 2) (pow c 4)))) (log1p a))
106.0ms	(log (* (cbrt (sqrt (* (* (* c c) (* c c)) 1/24))) (cbrt (sqrt (* (* (* c c) (* c c)) 1/24)))))
104.0ms	(log (* (cbrt (sqrt (* (* (* c c) (* c c)) 1/24))) (cbrt (sqrt (* (* (* c c) (* c c)) 1/24)))))

prune772.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 32.5b

regimes458.0ms

Accuracy

0% (0.7b remaining)

Error of 34.2b against oracle of 33.6b and baseline of 34.2b

bsearch4.0ms

end0.0ms

sample15.2s

Algorithm

intervals

Results

11.3s	7660×	body	10240	exit
1.6s	2293×	body	1280	valid
675.0ms	1608×	body	640	valid
417.0ms	5326×	body	80	nan
342.0ms	408×	body	160	valid
287.0ms	2787×	body	80	valid
189.0ms	753×	body	320	valid
184.0ms	143×	body	2560	valid
13.0ms	8×	body	5120	valid