Details

sample53.0ms

Algorithm

intervals

Results

29.0ms

495×

body

valid

simplify3.8s

Counts

1 → 1

Iterations

Useful iterations: 4 (119.0ms)

Iter	Nodes	Cost
0	11	13
1	21	13
2	52	13
3	171	13
4	346	12
5	586	12
6	698	12
7	805	12
8	1042	12
9	1225	12
10	1228	12
done	1228	12

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.3b

localize21.0ms

Local error

Found 2 expressions with local error:

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

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

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

series240.0ms

Counts

2 → 6

Calls

2 calls:

65.0ms	(- t (* z z))
174.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))

simplify2.5s

Counts

37 → 37

Iterations

Useful iterations: 4 (973.0ms)

Iter	Nodes	Cost
0	65	421
1	139	415
2	341	357
3	898	348
4	2934	329
done	5001	329

prune160.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 5.4b

localize16.0ms

Local error

Found 4 expressions with local error:

2.2b	(cbrt (fma (* y 4.0) (- t (* z z)) (* x x)))
6.0b	(fma (* y 4.0) (- t (* z z)) (* x x))
6.0b	(fma (* y 4.0) (- t (* z z)) (* x x))
6.0b	(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))
1.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
0.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))

series1.1s

Counts

4 → 12

Calls

4 calls:

616.0ms	(cbrt (fma (* y 4.0) (- t (* z z)) (* x x)))
150.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
156.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
129.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))

simplify2.4s

Counts

55 → 55

Iterations

Useful iterations: 4 (1.1s)

Iter	Nodes	Cost
0	70	924
1	142	920
2	361	799
3	977	781
4	3588	775
done	5000	775

prune258.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 5.4b

localize21.0ms

Local error

Found 4 expressions with local error:

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

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

series549.0ms

Counts

4 → 12

Calls

4 calls:

137.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
125.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
157.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
130.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))

simplify1.6s

Counts

52 → 52

Iterations

Useful iterations: 3 (144.0ms)

Iter	Nodes	Cost
0	29	832
1	56	832
2	154	708
3	439	692
4	1797	692
done	5001	692

prune311.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 5.4b

localize34.0ms

Local error

Found 4 expressions with local error:

6.0b	(fma (* y 4.0) (- t (* z z)) (* x x))
6.0b	(fma (* y 4.0) (- t (* z z)) (* x x))
6.0b	(fma (* y 4.0) (- t (* z z)) (* x x))
6.0b	(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))
1.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))

series642.0ms

Counts

4 → 12

Calls

4 calls:

169.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
185.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
136.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))
151.0ms	(fma (* y 4.0) (- t (* z z)) (* x x))

simplify1.8s

Counts

52 → 52

Iterations

Useful iterations: 3 (109.0ms)

Iter	Nodes	Cost
0	29	832
1	56	832
2	154	708
3	439	692
4	1797	692
done	5001	692

prune352.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 5.4b

regimes372.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.2s

Algorithm

intervals

Results

1.7s

15693×

body

valid