Details

sample57.0ms

Algorithm

intervals

Results

27.0ms

355×

body

valid

simplify1.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
5	1325
4	618
3	257
2	92
1	35
0	17

prune30.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.3b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x 2.0) (* (* (* y 9.0) z) t))
0.2b	(* (* a 27.0) b)
0.2b	(* (* y 9.0) z)
6.5b	(* (* (* y 9.0) z) t)

rewrite150.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 79

Calls

4 calls:

13.0ms	(- (* x 2.0) (* (* (* y 9.0) z) t))
26.0ms	(* (* a 27.0) b)
32.0ms	(* (* y 9.0) z)
75.0ms	(* (* (* y 9.0) z) t)

series202.0ms

Counts

4 → 12

Calls

4 calls:

112.0ms	(- (* x 2.0) (* (* (* y 9.0) z) t))
25.0ms	(* (* a 27.0) b)
26.0ms	(* (* y 9.0) z)
38.0ms	(* (* (* y 9.0) z) t)

simplify1.8s

Counts

91 → 91

Iterations

Iter	Nodes
done	5000
2	2451
1	384
0	146

prune609.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (fma x 2.0 (* (- (* 9.0 y)) (* z t))) (* (* a 27.0) b))
0.0b	(fma x 2.0 (* (- (* 9.0 y)) (* z t)))
0.2b	(* (* a 27.0) b)
5.4b	(* (- (* 9.0 y)) (* z t))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1` `add-cbrt-cube` `add-exp-log`
7×	`add-sqr-sqrt` `-un-lft-identity` `associate-l*` `add-cube-cbrt`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
4×	`expm1-log1p-u` `associate-r` `log1p-expm1-u`
3×	`fma-def`
2×	`*-commutative` `fma-udef`
1×	`distribute-lft-neg-out` `distribute-lft-neg-in` `+-commutative` `associate-+l+` `neg-mul-1` `sum-log` `distribute-rgt-neg-in` `flip3-+` `flip-+`

Counts

4 → 71

Calls

4 calls:

5.0ms	(+ (fma x 2.0 (* (- (* 9.0 y)) (* z t))) (* (* a 27.0) b))
0.0ms	(fma x 2.0 (* (- (* 9.0 y)) (* z t)))
20.0ms	(* (* a 27.0) b)
16.0ms	(* (- (* 9.0 y)) (* z t))

series475.0ms

Counts

4 → 12

Calls

4 calls:

259.0ms	(+ (fma x 2.0 (* (- (* 9.0 y)) (* z t))) (* (* a 27.0) b))
127.0ms	(fma x 2.0 (* (- (* 9.0 y)) (* z t)))
41.0ms	(* (* a 27.0) b)
48.0ms	(* (- (* 9.0 y)) (* z t))

simplify1.2s

Counts

83 → 83

Iterations

Iter	Nodes
done	5000
2	1785
1	332
0	130

prune1.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma x 2.0 (* y (* (* z t) -9.0)))
0.2b	(* (* a 27.0) b)
0.2b	(* (* z t) -9.0)
5.3b	(* y (* (* z t) -9.0))

rewrite133.0ms

Algorithm

rewrite-expression-head

Rules

23×	`pow1` `add-cbrt-cube` `add-exp-log`
12×	`pow-prod-down` `prod-exp` `cbrt-unprod`
7×	`add-sqr-sqrt` `-un-lft-identity` `associate-r*` `add-cube-cbrt`
5×	`associate-l`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`*-commutative`
1×	`fma-udef`

Counts

4 → 73

Calls

4 calls:

1.0ms	(fma x 2.0 (* y (* (* z t) -9.0)))
27.0ms	(* (* a 27.0) b)
27.0ms	(* (* z t) -9.0)
75.0ms	(* y (* (* z t) -9.0))

series173.0ms

Counts

4 → 12

Calls

4 calls:

80.0ms	(fma x 2.0 (* y (* (* z t) -9.0)))
23.0ms	(* (* a 27.0) b)
25.0ms	(* (* z t) -9.0)
46.0ms	(* y (* (* z t) -9.0))

simplify1.1s

Counts

85 → 85

Iterations

Iter	Nodes
done	5001
2	1834
1	307
0	129

prune605.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 2 expressions with local error:

0.1b	(fma a (* 27.0 b) (* 2.0 x))
2.9b	(fma (* z t) (- (* 9.0 y)) (fma a (* 27.0 b) (* 2.0 x)))

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

2×	`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

2 → 20

Calls

2 calls:

0.0ms	(fma a (* 27.0 b) (* 2.0 x))
1.0ms	(fma (* z t) (- (* 9.0 y)) (fma a (* 27.0 b) (* 2.0 x)))

series303.0ms

Counts

2 → 6

Calls

2 calls:

62.0ms	(fma a (* 27.0 b) (* 2.0 x))
241.0ms	(fma (* z t) (- (* 9.0 y)) (fma a (* 27.0 b) (* 2.0 x)))

simplify1.0s

Counts

26 → 26

Iterations

Iter	Nodes
done	5001
3	1187
2	211
1	80
0	44

prune215.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes1.3s

Accuracy

69.1% (1.0b remaining)

Error of 1.1b against oracle of 0.0b and baseline of 3.4b

bsearch293.0ms

Steps

Iters	Range		Point
9	1.2505020863094635e-37	1.1178751085457142e-31	3.0051295249958995e-32
8	-1.3760519999001124e+152	-4.406822198692744e+149	-4.472646977999148e+149

simplify11.0ms

Iterations

Iter	Nodes
done	59
3	59
2	58
1	50
0	30

end0.0ms

sample2.1s

Algorithm

intervals

Results

1.2s

11013×

body

valid