Details

sample17.0ms

Algorithm

intervals

Results

8.0ms

256×

body

valid

simplify4.4s

Counts

1 → 1

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	14	17
1	22	17
2	39	14
3	58	14
4	80	14
5	90	14
6	112	14
7	140	14
8	188	14
9	240	14
10	283	14
11	343	14
12	356	14
13	377	14
14	416	14
15	537	14
16	791	14
17	1046	14
18	1260	14
19	1424	14
20	1529	14
21	1575	14
22	1598	14
23	1620	14
24	1630	14
done	1630	14

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 2.30753 (* x 0.27061))
0.0b	(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
0.1b	(* (+ 0.99229 (* x 0.04481)) x)
15.3b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

59×	`add-sqr-sqrt`
54×	`*-un-lft-identity`
52×	`add-cube-cbrt`
45×	`prod-diff`
37×	`times-frac`
8×	`add-exp-log` `associate-/r/` `add-cbrt-cube` `add-log-exp`
7×	`flip3-+` `flip-+`
6×	`pow1`
4×	`expm1-log1p-u` `log1p-expm1-u` `div-inv`
3×	`fma-def` `fma-neg` `associate-r` `associate-l` `associate-/r` `associate-/l`
2×	`associate-*l/` `associate-/l/` `difference-of-squares`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `flip3--` `frac-2neg` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `sum-log` `*-commutative` `flip--` `cbrt-unprod` `distribute-lft-out--` `unswap-sqr`

Counts

4 → 136

Calls

4 calls:

2.0ms	(+ 2.30753 (* x 0.27061))
18.0ms	(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
8.0ms	(* (+ 0.99229 (* x 0.04481)) x)
10.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series254.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(+ 2.30753 (* x 0.27061))
89.0ms	(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
68.0ms	(* (+ 0.99229 (* x 0.04481)) x)
63.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify1.2s

Counts

148 → 148

Iterations

Useful iterations: done (1.2s)

Iter	Nodes	Cost
0	284	6840
1	741	5825
2	2348	3953
done	5001	3947

prune395.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

15.3b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (* (cbrt (* (fma 0.04481 x 0.99229) x)) (cbrt (* (fma 0.04481 x 0.99229) x))) (cbrt (* (fma 0.04481 x 0.99229) x)))))
16.0b	(cbrt (* (fma 0.04481 x 0.99229) x))
16.0b	(cbrt (* (fma 0.04481 x 0.99229) x))
16.0b	(cbrt (* (fma 0.04481 x 0.99229) x))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
6×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-prod` `pow1/3` `associate-/r` `associate-/l`
2×	`flip3-+` `associate-/r/` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 66

Calls

4 calls:

9.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (* (cbrt (* (fma 0.04481 x 0.99229) x)) (cbrt (* (fma 0.04481 x 0.99229) x))) (cbrt (* (fma 0.04481 x 0.99229) x)))))
1.0ms	(cbrt (* (fma 0.04481 x 0.99229) x))
1.0ms	(cbrt (* (fma 0.04481 x 0.99229) x))
2.0ms	(cbrt (* (fma 0.04481 x 0.99229) x))

series486.0ms

Counts

4 → 12

Calls

4 calls:

81.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (* (cbrt (* (fma 0.04481 x 0.99229) x)) (cbrt (* (fma 0.04481 x 0.99229) x))) (cbrt (* (fma 0.04481 x 0.99229) x)))))
137.0ms	(cbrt (* (fma 0.04481 x 0.99229) x))
131.0ms	(cbrt (* (fma 0.04481 x 0.99229) x))
136.0ms	(cbrt (* (fma 0.04481 x 0.99229) x))

simplify724.0ms

Counts

78 → 78

Iterations

Useful iterations: done (720.0ms)

Iter	Nodes	Cost
0	170	2550
1	430	2509
2	1343	1515
done	5000	1377

prune309.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (fma 0.04481 x 0.99229) x 1.0)
0.2b	(pow (* x 0.27061) 3)
0.3b	(* (* x 0.27061) (- (* x 0.27061) 2.30753))
24.2b	(/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (fma 2.30753 2.30753 (* (* x 0.27061) (- (* x 0.27061) 2.30753))) (fma (fma 0.04481 x 0.99229) x 1.0)))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-exp-log` `add-cbrt-cube`
14×	`*-un-lft-identity`
12×	`pow1`
10×	`add-sqr-sqrt` `add-cube-cbrt`
6×	`prod-diff`
5×	`distribute-rgt-in` `distribute-lft-in` `times-frac` `prod-exp` `cbrt-unprod` `associate-/l*`
4×	`expm1-log1p-u` `pow-prod-down` `log1p-expm1-u` `add-log-exp`
3×	`pow-unpow` `associate-r`
2×	`cbrt-undiv` `sub-neg` `pow-pow` `associate-*r/` `div-exp` `pow-exp` `sum-cubes` `associate-/l/` `distribute-lft-out` `rem-cube-cbrt`
1×	`cube-mult` `pow-to-exp` `unpow-prod-down` `flip3--` `frac-2neg` `flip3-+` `unpow3` `cube-prod` `associate-l` `clear-num` `associate-/r` `-commutative` `flip--` `flip-+` `fma-udef` `div-inv` `sqr-pow`

Counts

4 → 95

Calls

4 calls:

0.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
2.0ms	(pow (* x 0.27061) 3)
14.0ms	(* (* x 0.27061) (- (* x 0.27061) 2.30753))
34.0ms	(/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (fma 2.30753 2.30753 (* (* x 0.27061) (- (* x 0.27061) 2.30753))) (fma (fma 0.04481 x 0.99229) x 1.0)))

series464.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
38.0ms	(pow (* x 0.27061) 3)
82.0ms	(* (* x 0.27061) (- (* x 0.27061) 2.30753))
315.0ms	(/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (fma 2.30753 2.30753 (* (* x 0.27061) (- (* x 0.27061) 2.30753))) (fma (fma 0.04481 x 0.99229) x 1.0)))

simplify1.0s

Counts

107 → 107

Iterations

Useful iterations: done (1.0s)

Iter	Nodes	Cost
0	206	2051
1	503	1927
2	2157	1631
done	5001	1625

prune366.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize27.0ms

Local error

Found 4 expressions with local error:

16.0b	(cbrt (* (fma 0.04481 x 0.99229) x))
16.0b	(cbrt (* (fma 0.04481 x 0.99229) x))
16.0b	(cbrt (* (fma 0.04481 x 0.99229) x))
25.2b	(* (/ (fma x 0.27061 2.30753) (+ (pow (* (fma 0.04481 x 0.99229) x) 3) (pow 1.0 3))) (+ (* 1.0 1.0) (- (* (* (* (cbrt (* (fma 0.04481 x 0.99229) x)) (cbrt (* (fma 0.04481 x 0.99229) x))) (cbrt (* (fma 0.04481 x 0.99229) x))) (* (* (cbrt (* (fma 0.04481 x 0.99229) x)) (cbrt (* (fma 0.04481 x 0.99229) x))) (cbrt (* (fma 0.04481 x 0.99229) x)))) (* 1.0 (* (* (cbrt (* (fma 0.04481 x 0.99229) x)) (cbrt (* (fma 0.04481 x 0.99229) x))) (cbrt (* (fma 0.04481 x 0.99229) x)))))))

rewrite1.3s

Algorithm

rewrite-expression-head

Rules

21×	`associate-l`
20×	`*-un-lft-identity`
19×	`add-sqr-sqrt`
16×	`times-frac`
14×	`add-cube-cbrt`
9×	`add-exp-log` `add-cbrt-cube`
6×	`pow1`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-prod` `flip3-+` `pow1/3` `associate-r` `sum-cubes` `flip-+` `distribute-lft-out`
2×	`frac-times` `associate-*r/` `prod-exp` `associate-/r/` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `div-inv`

Counts

4 → 81

Calls

4 calls:

1.0ms	(cbrt (* (fma 0.04481 x 0.99229) x))
1.0ms	(cbrt (* (fma 0.04481 x 0.99229) x))
1.0ms	(cbrt (* (fma 0.04481 x 0.99229) x))
1.3s	(* (/ (fma x 0.27061 2.30753) (+ (pow (* (fma 0.04481 x 0.99229) x) 3) (pow 1.0 3))) (+ (* 1.0 1.0) (- (* (* (* (cbrt (* (fma 0.04481 x 0.99229) x)) (cbrt (* (fma 0.04481 x 0.99229) x))) (cbrt (* (fma 0.04481 x 0.99229) x))) (* (* (cbrt (* (fma 0.04481 x 0.99229) x)) (cbrt (* (fma 0.04481 x 0.99229) x))) (cbrt (* (fma 0.04481 x 0.99229) x)))) (* 1.0 (* (* (cbrt (* (fma 0.04481 x 0.99229) x)) (cbrt (* (fma 0.04481 x 0.99229) x))) (cbrt (* (fma 0.04481 x 0.99229) x)))))))

series567.0ms

Counts

4 → 12

Calls

4 calls:

127.0ms	(cbrt (* (fma 0.04481 x 0.99229) x))
131.0ms	(cbrt (* (fma 0.04481 x 0.99229) x))
130.0ms	(cbrt (* (fma 0.04481 x 0.99229) x))
178.0ms	(* (/ (fma x 0.27061 2.30753) (+ (pow (* (fma 0.04481 x 0.99229) x) 3) (pow 1.0 3))) (+ (* 1.0 1.0) (- (* (* (* (cbrt (* (fma 0.04481 x 0.99229) x)) (cbrt (* (fma 0.04481 x 0.99229) x))) (cbrt (* (fma 0.04481 x 0.99229) x))) (* (* (cbrt (* (fma 0.04481 x 0.99229) x)) (cbrt (* (fma 0.04481 x 0.99229) x))) (cbrt (* (fma 0.04481 x 0.99229) x)))) (* 1.0 (* (* (cbrt (* (fma 0.04481 x 0.99229) x)) (cbrt (* (fma 0.04481 x 0.99229) x))) (cbrt (* (fma 0.04481 x 0.99229) x)))))))

simplify922.0ms

Counts

93 → 93

Iterations

Useful iterations: 2 (277.0ms)

Iter	Nodes	Cost
0	211	6859
1	692	5213
2	2756	3165
done	5000	3165

prune551.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes22.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	33
1	21	33
done	21	33

end0.0ms

sample343.0ms

Algorithm

intervals

Results

249.0ms

8000×

body

valid