Details

sample192.0ms

Algorithm

intervals

Results

146.0ms

505×

body

valid

simplify4.8s

Counts

1 → 1

Iterations

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

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

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

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

63.0ms	(- (* z (* (* t x) (* y 18.0))) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))
13.0ms	(* 27.0 (* k j))
25.0ms	(* (* t x) (* y 18.0))
121.0ms	(* z (* (* t x) (* y 18.0)))

series626.0ms

Counts

4 → 12

Calls

4 calls:

509.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))
32.0ms	(* (* t x) (* y 18.0))
64.0ms	(* z (* (* t x) (* y 18.0)))

simplify1.3s

Counts

108 → 108

Iterations

Iter	Nodes
done	5003
2	1614
1	441
0	181

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

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

49.0ms	(- (* (* z (* t x)) (* y 18.0)) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))
13.0ms	(* 27.0 (* k j))
13.0ms	(* z (* t x))
50.0ms	(* (* z (* t x)) (* y 18.0))

series734.0ms

Counts

4 → 12

Calls

4 calls:

625.0ms	(- (* (* z (* t x)) (* y 18.0)) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))
22.0ms	(* 27.0 (* k j))
32.0ms	(* z (* t x))
55.0ms	(* (* z (* t x)) (* y 18.0))

simplify1.8s

Counts

105 → 105

Iterations

Iter	Nodes
done	5000
2	1521
1	435
0	178

prune880.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

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

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

85.0ms	(- (* (* (* z t) x) (* y 18.0)) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))
18.0ms	(* 27.0 (* k j))
15.0ms	(* (* z t) x)
56.0ms	(* (* (* z t) x) (* y 18.0))

series856.0ms

Counts

4 → 12

Calls

4 calls:

704.0ms	(- (* (* (* z t) x) (* y 18.0)) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))
34.0ms	(* 27.0 (* k j))
36.0ms	(* (* z t) x)
82.0ms	(* (* (* z t) x) (* y 18.0))

simplify1.7s

Counts

105 → 105

Iterations

Iter	Nodes
done	5001
2	1513
1	442
0	180

prune1.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

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

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

82.0ms	(- (* (* z (* t x)) (* y 18.0)) (fma 4.0 (fma t a (* x i)) (* (* 27.0 k) j)))
25.0ms	(* (* 27.0 k) j)
14.0ms	(* z (* t x))
68.0ms	(* (* z (* t x)) (* y 18.0))

series836.0ms

Counts

4 → 12

Calls

4 calls:

697.0ms	(- (* (* z (* t x)) (* y 18.0)) (fma 4.0 (fma t a (* x i)) (* (* 27.0 k) j)))
28.0ms	(* (* 27.0 k) j)
34.0ms	(* z (* t x))
77.0ms	(* (* z (* t x)) (* y 18.0))

simplify2.2s

Counts

105 → 105

Iterations

Iter	Nodes
done	5011
2	1592
1	446
0	180

prune818.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes1.6s

Accuracy

57.7% (1.8b remaining)

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

bsearch475.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

simplify34.0ms

Iterations

Iter	Nodes
done	55
1	55
0	39

end0.0ms

sample6.0s

Algorithm

intervals

Results

4.2s

16007×

body

valid