Details

sample33.0ms

Algorithm

intervals

Results

12.0ms

334×

body

valid

simplify7.7s

Counts

1 → 1

Iterations

Useful iterations: 5 (70.0ms)

Iter	Nodes	Cost
0	9	165
1	16	165
2	30	165
3	65	165
4	139	165
5	226	140
6	384	140
7	692	140
8	1074	140
9	1530	140
10	1923	140
11	2272	140
12	2557	140
13	2778	140
14	3028	140
15	3282	140
16	3533	140
17	3762	140
18	4020	140
19	4276	140
20	4527	140
21	4759	140
done	5000	140

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 1 expressions with local error:

1.8b	(fma (/ y a) (- t z) x)

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma (/ y a) (- t z) x)

series63.0ms

Counts

1 → 3

Calls

1 calls:

63.0ms

(fma (/ y a) (- t z) x)

simplify2.7s

Counts

13 → 13

Iterations

Useful iterations: 3 (73.0ms)

Iter	Nodes	Cost
0	24	2779
1	41	2779
2	90	2779
3	264	2464
4	1468	2464
done	5003	2464

prune103.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
16×	`cbrt-prod`
12×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
6×	`pow1/3` `swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`fma-udef`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 72

Calls

4 calls:

9.0ms	(* (cbrt (fma (/ y a) (- t z) x)) (cbrt (fma (/ y a) (- t z) x)))
0.0ms	(fma (/ y a) (- t z) x)
0.0ms	(fma (/ y a) (- t z) x)
0.0ms	(fma (/ y a) (- t z) x)

series1.1s

Counts

4 → 12

Calls

4 calls:

569.0ms	(* (cbrt (fma (/ y a) (- t z) x)) (cbrt (fma (/ y a) (- t z) x)))
417.0ms	(fma (/ y a) (- t z) x)
55.0ms	(fma (/ y a) (- t z) x)
66.0ms	(fma (/ y a) (- t z) x)

simplify2.3s

Counts

84 → 84

Iterations

Useful iterations: done (2.3s)

Iter	Nodes	Cost
0	92	24122
1	192	23117
2	434	22986
3	1189	21761
done	5001	21697

prune632.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize70.0ms

Local error

Found 4 expressions with local error:

1.8b	(fma (/ y a) (- t z) x)
1.8b	(fma (/ y a) (- t z) x)
1.8b	(fma (/ y a) (- t z) x)
1.8b	(fma (/ y a) (- t z) x)

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

4 → 40

Calls

4 calls:

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

series282.0ms

Counts

4 → 12

Calls

4 calls:

67.0ms	(fma (/ y a) (- t z) x)
68.0ms	(fma (/ y a) (- t z) x)
81.0ms	(fma (/ y a) (- t z) x)
66.0ms	(fma (/ y a) (- t z) x)

simplify2.7s

Counts

52 → 52

Iterations

Useful iterations: 3 (117.0ms)

Iter	Nodes	Cost
0	24	11116
1	41	11116
2	90	11116
3	264	9856
4	1468	9856
done	5003	9856

prune444.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize120.0ms

Local error

Found 4 expressions with local error:

1.8b	(fma (/ y a) (- t z) x)
1.8b	(fma (/ y a) (- t z) x)
1.8b	(fma (/ y a) (- t z) x)
1.8b	(fma (/ y a) (- t z) x)

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

4 → 40

Calls

4 calls:

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

series291.0ms

Counts

4 → 12

Calls

4 calls:

63.0ms	(fma (/ y a) (- t z) x)
62.0ms	(fma (/ y a) (- t z) x)
86.0ms	(fma (/ y a) (- t z) x)
80.0ms	(fma (/ y a) (- t z) x)

simplify2.8s

Counts

52 → 52

Iterations

Useful iterations: 3 (81.0ms)

Iter	Nodes	Cost
0	24	11116
1	41	11116
2	90	11116
3	264	9856
4	1468	9856
done	5003	9856

prune442.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes1.0s

Accuracy

65.4% (0.8b remaining)

Error of 0.9b against oracle of 0.0b and baseline of 2.4b

bsearch2.0ms

simplify9.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	18	562
1	22	562
done	22	562

end0.0ms

sample1.2s

Algorithm

intervals

Results

550.0ms

10575×

body

valid