Details

sample60.0ms

Algorithm

intervals

Results

32.0ms

539×

body

valid

simplify2.9s

Counts

1 → 1

Iterations

Useful iterations: 4 (105.0ms)

Iter	Nodes	Cost
0	11	13
1	21	13
2	52	13
3	171	13
4	496	12
5	1885	12
done	5001	12

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.8b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b	(- t (* z z))
7.3b	(fma (* y 4.0) (- t (* z z)) (* x x))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt`
4×	`add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
3×	`fma-neg` `prod-diff`
2×	`pow1` `add-exp-log` `expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u`
1×	`sub-neg` `flip3--` `diff-log` `flip--` `fma-udef` `difference-of-squares`

Counts

2 → 31

Calls

2 calls:

12.0ms	(- t (* z z))
1.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))

series196.0ms

Counts

2 → 6

Calls

2 calls:

41.0ms	(- t (* z z))
155.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))

simplify543.0ms

Counts

37 → 37

Iterations

Useful iterations: done (541.0ms)

Iter	Nodes	Cost
0	65	421
1	155	415
2	639	357
done	5000	349

prune137.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 6.9b

localize19.0ms

Local error

Found 4 expressions with local error:

1.5b	(cbrt (fma (* y 4.0) (- t (* z z)) (* x x)))
7.3b	(fma (* y 4.0) (- t (* z z)) (* x x))
7.3b	(fma (* y 4.0) (- t (* z z)) (* x x))
7.3b	(fma (* y 4.0) (- t (* z z)) (* x x))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 43

Calls

4 calls:

1.0ms	(cbrt (fma (* y 4.0) (- t (* z z)) (* x x)))
0.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
0.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
0.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))

series1.0s

Counts

4 → 12

Calls

4 calls:

583.0ms	(cbrt (fma (* y 4.0) (- t (* z z)) (* x x)))
150.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
142.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
161.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))

simplify1.5s

Counts

55 → 55

Iterations

Useful iterations: done (1.5s)

Iter	Nodes	Cost
0	70	924
1	142	920
2	417	799
3	1788	781
done	5001	775

prune277.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 6.9b

localize40.0ms

Local error

Found 4 expressions with local error:

7.3b	(fma (* y 4.0) (- t (* z z)) (* x x))
7.3b	(fma (* y 4.0) (- t (* z z)) (* x x))
7.3b	(fma (* y 4.0) (- t (* z z)) (* x x))
7.3b	(fma (* y 4.0) (- t (* z z)) (* x x))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 40

Calls

4 calls:

1.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
1.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
1.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
1.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))

series560.0ms

Counts

4 → 12

Calls

4 calls:

145.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
119.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
138.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
157.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))

simplify967.0ms

Counts

52 → 52

Iterations

Useful iterations: 3 (154.0ms)

Iter	Nodes	Cost
0	29	832
1	56	832
2	173	708
3	729	692
done	5001	692

prune267.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 6.9b

localize36.0ms

Local error

Found 4 expressions with local error:

7.3b	(fma (* y 4.0) (- t (* z z)) (* x x))
7.3b	(fma (* y 4.0) (- t (* z z)) (* x x))
7.3b	(fma (* y 4.0) (- t (* z z)) (* x x))
7.3b	(fma (* y 4.0) (- t (* z z)) (* x x))

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 40

Calls

4 calls:

0.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
0.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
0.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
0.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))

series512.0ms

Counts

4 → 12

Calls

4 calls:

130.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
136.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
123.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
123.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))

simplify762.0ms

Counts

52 → 52

Iterations

Useful iterations: 3 (126.0ms)

Iter	Nodes	Cost
0	29	832
1	56	832
2	173	708
3	729	692
done	5001	692

prune307.0ms

Pruning

8 alts after pruning (4 fresh and 4 done)

Merged error: 6.9b

regimes386.0ms

Accuracy

0% (0.8b remaining)

Error of 6.3b against oracle of 5.5b and baseline of 6.3b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	12
1	11	12
done	11	12

end0.0ms

sample2.1s

Algorithm

intervals

Results

1.2s

15886×

body

valid