Details

sample28.0ms

Algorithm

intervals

Results

11.0ms

334×

body

valid

simplify5.7s

Counts

1 → 1

Iterations

Useful iterations: 3 (10.0ms)

Iter	Nodes	Cost
0	9	165
1	15	165
2	24	165
3	44	140
4	82	140
5	129	140
6	171	140
7	211	140
8	284	140
9	358	140
10	527	140
11	777	140
12	1088	140
13	1448	140
14	1997	140
15	2561	140
16	2923	140
17	3276	140
18	3625	140
19	3984	140
20	4333	140
21	4686	140
done	5000	140

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize26.0ms

Local error

Found 1 expressions with local error:

1.8b	(fma (/ y a) (- z t) 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:

1.0ms

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

series76.0ms

Counts

1 → 3

Calls

1 calls:

76.0ms

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

simplify2.7s

Counts

13 → 13

Iterations

Useful iterations: 3 (72.0ms)

Iter	Nodes	Cost
0	24	2779
1	41	2779
2	90	2779
3	263	2464
4	1500	2464
done	5005	2464

prune110.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite29.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:

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

series765.0ms

Counts

4 → 12

Calls

4 calls:

513.0ms	(* (cbrt (fma (/ y a) (- z t) x)) (cbrt (fma (/ y a) (- z t) x)))
83.0ms	(fma (/ y a) (- z t) x)
85.0ms	(fma (/ y a) (- z t) x)
83.0ms	(fma (/ y a) (- z t) x)

simplify2.4s

Counts

84 → 84

Iterations

Useful iterations: done (2.4s)

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

prune612.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize73.0ms

Local error

Found 4 expressions with local error:

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

rewrite3.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) (- z t) x)
0.0ms	(fma (/ y a) (- z t) x)
0.0ms	(fma (/ y a) (- z t) x)
1.0ms	(fma (/ y a) (- z t) x)

series262.0ms

Counts

4 → 12

Calls

4 calls:

71.0ms	(fma (/ y a) (- z t) x)
68.0ms	(fma (/ y a) (- z t) x)
61.0ms	(fma (/ y a) (- z t) x)
62.0ms	(fma (/ y a) (- z t) x)

simplify2.8s

Counts

52 → 52

Iterations

Useful iterations: 3 (70.0ms)

Iter	Nodes	Cost
0	24	11116
1	41	11116
2	90	11116
3	263	9856
4	1500	9856
done	5005	9856

prune455.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize106.0ms

Local error

Found 4 expressions with local error:

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

rewrite3.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:

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

series307.0ms

Counts

4 → 12

Calls

4 calls:

80.0ms	(fma (/ y a) (- z t) x)
64.0ms	(fma (/ y a) (- z t) x)
81.0ms	(fma (/ y a) (- z t) x)
82.0ms	(fma (/ y a) (- z t) x)

simplify2.9s

Counts

52 → 52

Iterations

Useful iterations: 3 (86.0ms)

Iter	Nodes	Cost
0	24	11116
1	41	11116
2	90	11116
3	263	9856
4	1500	9856
done	5005	9856

prune358.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes866.0ms

Accuracy

65.4% (0.8b remaining)

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

bsearch2.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	522
1	22	522
done	22	522

end0.0ms

sample1.3s

Algorithm

intervals

Results

768.0ms

10575×

body

valid