Details

sample41.0ms

Algorithm

intervals

Results

20.0ms

281×

body

valid

simplify4.5s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
22	4995
21	4713
20	4418
19	4136
18	3837
17	3514
16	3152
15	2742
14	2228
13	1882
12	1295
11	753
10	441
9	341
8	282
7	255
6	219
5	152
4	95
3	58
2	37
1	21
0	10

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.9b

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- z t) (- z a))
0.9b	(fma (/ (- z t) (- z a)) y x)

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt` `*-un-lft-identity`
25×	`times-frac`
14×	`add-cube-cbrt`
12×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/r` `associate-/l`
4×	`add-cbrt-cube` `add-exp-log`
2×	`expm1-log1p-u` `pow1` `flip3--` `associate-/r/` `insert-posit16` `log1p-expm1-u` `flip--` `add-log-exp` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-sub` `div-exp` `fma-udef` `div-inv`

Counts

2 → 66

Calls

2 calls:

49.0ms	(/ (- z t) (- z a))
0.0ms	(fma (/ (- z t) (- z a)) y x)

series171.0ms

Counts

2 → 6

Calls

2 calls:

70.0ms	(/ (- z t) (- z a))
100.0ms	(fma (/ (- z t) (- z a)) y x)

simplify1.9s

Counts

72 → 72

Iterations

Iter	Nodes
done	5001
3	2237
2	655
1	268
0	115

prune405.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.4b

localize35.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- z a) (- z t))
0.4b	(/ 1 (/ (- z a) (- z t)))
0.9b	(fma (/ 1 (/ (- z a) (- z t))) y x)

rewrite110.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac`
195×	`add-sqr-sqrt` `*-un-lft-identity`
91×	`add-cube-cbrt`
52×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
16×	`add-exp-log`
11×	`associate-/r/`
10×	`add-cbrt-cube`
8×	`div-exp` `associate-/l*`
6×	`flip3--` `div-inv` `flip--`
4×	`pow1` `cbrt-undiv`
3×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`rec-exp` `clear-num` `frac-2neg` `1-exp` `associate-/l/`
1×	`div-sub` `fma-udef` `pow-flip` `inv-pow`

Counts

3 → 217

Calls

3 calls:

50.0ms	(/ (- z a) (- z t))
35.0ms	(/ 1 (/ (- z a) (- z t)))
0.0ms	(fma (/ 1 (/ (- z a) (- z t))) y x)

series390.0ms

Counts

3 → 9

Calls

3 calls:

77.0ms	(/ (- z a) (- z t))
178.0ms	(/ 1 (/ (- z a) (- z t)))
134.0ms	(fma (/ 1 (/ (- z a) (- z t))) y x)

simplify2.0s

Counts

226 → 226

Iterations

Iter	Nodes
done	5003
2	2257
1	703
0	272

prune821.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- z t))
0.5b	(cbrt (- z t))
0.5b	(cbrt (- z t))
0.9b	(fma (/ (* (/ (cbrt (- z t)) (cbrt (- z a))) (/ (cbrt (- z t)) (cbrt (- z a)))) (/ (cbrt (- z a)) (cbrt (- z t)))) y x)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

15×	`cbrt-prod`
13×	`add-sqr-sqrt` `*-un-lft-identity`
7×	`add-cube-cbrt`
6×	`cbrt-div`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`flip3--` `pow1/3` `flip--` `distribute-lft-out--` `difference-of-squares`
1×	`fma-udef`

Counts

4 → 65

Calls

4 calls:

7.0ms	(cbrt (- z t))
7.0ms	(cbrt (- z t))
8.0ms	(cbrt (- z t))
1.0ms	(fma (/ (* (/ (cbrt (- z t)) (cbrt (- z a))) (/ (cbrt (- z t)) (cbrt (- z a)))) (/ (cbrt (- z a)) (cbrt (- z t)))) y x)

series770.0ms

Counts

4 → 12

Calls

4 calls:

227.0ms	(cbrt (- z t))
219.0ms	(cbrt (- z t))
194.0ms	(cbrt (- z t))
130.0ms	(fma (/ (* (/ (cbrt (- z t)) (cbrt (- z a))) (/ (cbrt (- z t)) (cbrt (- z a)))) (/ (cbrt (- z a)) (cbrt (- z t)))) y x)

simplify3.1s

Counts

77 → 77

Iterations

Iter	Nodes
done	5000
4	3649
3	1075
2	430
1	201
0	98

prune587.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (/ y (- z a)) (- z t)) x)
0.0b	(/ y (- z a))
11.6b	(* (/ y (- z a)) (- z t))

rewrite119.0ms

Algorithm

rewrite-expression-head

Rules

68×	`add-sqr-sqrt`
63×	`*-un-lft-identity`
47×	`add-cube-cbrt`
36×	`prod-diff`
31×	`times-frac`
22×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in`
21×	`associate-l`
10×	`add-cbrt-cube` `add-exp-log`
8×	`distribute-lft-out--` `difference-of-squares`
5×	`pow1` `associate-/r` `associate-r*` `add-log-exp`
4×	`sub-neg` `flip3--` `associate-/r/` `flip--`
3×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `associate-/l*`
2×	`frac-times` `cbrt-undiv` `div-exp` `prod-exp` `associate-*r/` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`+-commutative` `clear-num` `sum-log` `fma-def` `frac-2neg` `flip3-+` `pow-prod-down` `associate-l/` `-commutative` `flip-+`

Counts

3 → 148

Calls

3 calls:

33.0ms	(+ (* (/ y (- z a)) (- z t)) x)
11.0ms	(/ y (- z a))
65.0ms	(* (/ y (- z a)) (- z t))

series331.0ms

Counts

3 → 9

Calls

3 calls:

122.0ms	(+ (* (/ y (- z a)) (- z t)) x)
34.0ms	(/ y (- z a))
175.0ms	(* (/ y (- z a)) (- z t))

simplify1.5s

Counts

157 → 157

Iterations

Iter	Nodes
done	5001
2	1714
1	633
0	229

prune764.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes369.0ms

Accuracy

0% (1.2b remaining)

Error of 1.3b against oracle of 0.0b and baseline of 1.3b

bsearch0.0ms

simplify1.0ms

Iterations

Iter	Nodes
done	9
0	9

end0.0ms

sample1.1s

Algorithm

intervals

Results

474.0ms

8734×

body

valid