Details

sample203.0ms

Algorithm

intervals

Results

144.0ms

505×

body

valid

simplify5.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
5	4998
4	2295
3	723
2	217
1	67
0	28

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize70.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* z (* (* t x) (* y 18.0))) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))
0.2b	(* 27.0 (* k j))
4.9b	(* (* t x) (* y 18.0))
5.4b	(* z (* (* t x) (* y 18.0)))

rewrite303.0ms

Algorithm

rewrite-expression-head

Rules

39×	`pow1` `add-cbrt-cube` `add-exp-log`
24×	`pow-prod-down` `prod-exp` `cbrt-unprod`
7×	`add-sqr-sqrt` `-un-lft-identity` `associate-l*` `add-cube-cbrt`
6×	`add-log-exp`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`associate-r` `prod-diff` `*-commutative`
1×	`sub-neg` `flip3--` `fma-neg` `diff-log` `fma-udef` `flip--` `associate--r+`

Counts

4 → 96

Calls

4 calls:

110.0ms	(- (* z (* (* t x) (* y 18.0))) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))
21.0ms	(* 27.0 (* k j))
49.0ms	(* (* t x) (* y 18.0))
120.0ms	(* z (* (* t x) (* y 18.0)))

series839.0ms

Counts

4 → 12

Calls

4 calls:

688.0ms	(- (* z (* (* t x) (* y 18.0))) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))
31.0ms	(* 27.0 (* k j))
41.0ms	(* (* t x) (* y 18.0))
80.0ms	(* z (* (* t x) (* y 18.0)))

simplify1.7s

Counts

108 → 108

Iterations

Iter	Nodes
done	5003
2	1614
1	441
0	181

prune887.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* (* z (* t x)) (* y 18.0)) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))
0.2b	(* 27.0 (* k j))
2.7b	(* z (* t x))
7.8b	(* (* z (* t x)) (* y 18.0))

rewrite173.0ms

Algorithm

rewrite-expression-head

Rules

35×	`pow1` `add-cbrt-cube` `add-exp-log`
21×	`pow-prod-down` `prod-exp` `cbrt-unprod`
7×	`add-sqr-sqrt` `-un-lft-identity` `associate-l*` `add-cube-cbrt`
6×	`add-log-exp`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`associate-r` `prod-diff` `*-commutative`
1×	`sub-neg` `flip3--` `fma-neg` `diff-log` `fma-udef` `flip--` `associate--r+`

Counts

4 → 93

Calls

4 calls:

66.0ms	(- (* (* z (* t x)) (* y 18.0)) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))
19.0ms	(* 27.0 (* k j))
24.0ms	(* z (* t x))
62.0ms	(* (* z (* t x)) (* y 18.0))

series880.0ms

Counts

4 → 12

Calls

4 calls:

698.0ms	(- (* (* z (* t x)) (* y 18.0)) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))
44.0ms	(* 27.0 (* k j))
42.0ms	(* z (* t x))
96.0ms	(* (* z (* t x)) (* y 18.0))

simplify1.7s

Counts

105 → 105

Iterations

Iter	Nodes
done	5000
2	1521
1	435
0	178

prune863.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* (* (* z t) x) (* y 18.0)) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))
0.2b	(* 27.0 (* k j))
3.7b	(* (* z t) x)
7.8b	(* (* (* z t) x) (* y 18.0))

rewrite206.0ms

Algorithm

rewrite-expression-head

Rules

35×	`pow1` `add-cbrt-cube` `add-exp-log`
21×	`pow-prod-down` `prod-exp` `cbrt-unprod`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`add-log-exp`
5×	`associate-r` `associate-l`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`prod-diff` `*-commutative`
1×	`sub-neg` `flip3--` `fma-neg` `diff-log` `fma-udef` `flip--` `associate--r+`

Counts

4 → 93

Calls

4 calls:

77.0ms	(- (* (* (* z t) x) (* y 18.0)) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))
14.0ms	(* 27.0 (* k j))
23.0ms	(* (* z t) x)
88.0ms	(* (* (* z t) x) (* y 18.0))

series943.0ms

Counts

4 → 12

Calls

4 calls:

765.0ms	(- (* (* (* z t) x) (* y 18.0)) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))
41.0ms	(* 27.0 (* k j))
47.0ms	(* (* z t) x)
89.0ms	(* (* (* z t) x) (* y 18.0))

simplify1.7s

Counts

105 → 105

Iterations

Iter	Nodes
done	5001
2	1513
1	442
0	180

prune879.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* (* z (* t x)) (* y 18.0)) (fma 4.0 (fma t a (* x i)) (* (* 27.0 k) j)))
0.5b	(* (* 27.0 k) j)
2.7b	(* z (* t x))
7.8b	(* (* z (* t x)) (* y 18.0))

rewrite170.0ms

Algorithm

rewrite-expression-head

Rules

35×	`pow1` `add-cbrt-cube` `add-exp-log`
21×	`pow-prod-down` `prod-exp` `cbrt-unprod`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`add-log-exp`
5×	`associate-r` `associate-l`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`prod-diff` `*-commutative`
1×	`sub-neg` `flip3--` `fma-neg` `diff-log` `fma-udef` `flip--` `associate--r+`

Counts

4 → 93

Calls

4 calls:

77.0ms	(- (* (* z (* t x)) (* y 18.0)) (fma 4.0 (fma t a (* x i)) (* (* 27.0 k) j)))
15.0ms	(* (* 27.0 k) j)
14.0ms	(* z (* t x))
62.0ms	(* (* z (* t x)) (* y 18.0))

series874.0ms

Counts

4 → 12

Calls

4 calls:

684.0ms	(- (* (* z (* t x)) (* y 18.0)) (fma 4.0 (fma t a (* x i)) (* (* 27.0 k) j)))
45.0ms	(* (* 27.0 k) j)
51.0ms	(* z (* t x))
94.0ms	(* (* z (* t x)) (* y 18.0))

simplify1.8s

Counts

105 → 105

Iterations

Iter	Nodes
done	5011
2	1592
1	446
0	180

prune811.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes1.4s

Accuracy

57.7% (1.8b remaining)

Error of 1.8b against oracle of 0.0b and baseline of 4.3b

bsearch949.0ms

Steps

Iters	Range		Point
11	3.0828477612496023e+99	1.0055490865809458e+123	8.320283028555687e+114
4	-6.664177883723542e-20	-4.307585473649718e-20	-6.338863715081203e-20

simplify14.0ms

Iterations

Iter	Nodes
done	55
1	55
0	39

end0.0ms

sample6.4s

Algorithm

intervals

Results

5.0s

16007×

body

valid