Details

sample20.0ms

Algorithm

intervals

Results

10.0ms

256×

body

valid

simplify4.6s

Counts

1 → 1

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	14	17
1	22	17
2	39	14
3	66	14
4	92	14
5	102	14
6	124	14
7	152	14
8	203	14
9	264	14
10	299	14
11	381	14
12	394	14
13	413	14
14	451	14
15	578	14
16	714	14
17	951	14
18	1233	14
19	1379	14
20	1436	14
21	1466	14
22	1491	14
23	1532	14
24	1542	14
done	1542	14

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 0.99229 (* x 0.04481))
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.1b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

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

6.0ms	(+ 0.99229 (* x 0.04481))
31.0ms	(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
21.0ms	(* (+ 0.99229 (* x 0.04481)) x)
24.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series250.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(+ 0.99229 (* x 0.04481))
87.0ms	(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
67.0ms	(* (+ 0.99229 (* x 0.04481)) x)
60.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify1.4s

Counts

148 → 148

Iterations

Useful iterations: done (1.4s)

Iter	Nodes	Cost
0	285	6840
1	732	5761
2	2287	3845
done	5002	3177

prune351.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))))
0.0b	(expm1 (log1p (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))))
0.1b	(fma (fma 0.04481 x 0.99229) x 1.0)
15.1b	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt` `*-un-lft-identity`
19×	`add-cube-cbrt`
9×	`times-frac` `prod-diff`
6×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
4×	`pow1` `expm1-log1p-u` `log1p-expm1-u`
3×	`fma-neg` `associate-/r` `associate-/l`
2×	`expm1-udef`
1×	`cbrt-undiv` `sub-neg` `expm1-log1p` `flip3--` `frac-2neg` `diff-log` `div-exp` `clear-num` `flip--` `fma-udef` `div-inv` `distribute-lft-out--` `associate--r-` `difference-of-squares`

Counts

4 → 79

Calls

4 calls:

7.0ms	(- x (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))))
0.0ms	(expm1 (log1p (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))))
0.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
5.0ms	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

series481.0ms

Counts

4 → 12

Calls

4 calls:

162.0ms	(- x (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))))
223.0ms	(expm1 (log1p (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))))
28.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
68.0ms	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

simplify1.7s

Counts

91 → 91

Iterations

Useful iterations: done (1.7s)

Iter	Nodes	Cost
0	165	2471
1	333	1816
2	869	1565
3	2911	1424
done	5000	1407

prune270.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (fma 0.04481 x 0.99229) x 1.0)
1.3b	(expm1 (log1p (fma (fma 0.04481 x 0.99229) x 1.0)))
15.1b	(/ (fma x 0.27061 2.30753) (expm1 (log1p (fma (fma 0.04481 x 0.99229) x 1.0))))
15.6b	(log1p (fma (fma 0.04481 x 0.99229) x 1.0))

rewrite7.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`
5×	`expm1-log1p-u`
4×	`pow1` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r` `associate-/l`
1×	`cbrt-undiv` `log1p-udef` `expm1-log1p` `frac-2neg` `log1p-expm1` `div-exp` `clear-num` `fma-udef` `div-inv` `expm1-udef`

Counts

4 → 61

Calls

4 calls:

0.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
0.0ms	(expm1 (log1p (fma (fma 0.04481 x 0.99229) x 1.0)))
5.0ms	(/ (fma x 0.27061 2.30753) (expm1 (log1p (fma (fma 0.04481 x 0.99229) x 1.0))))
0.0ms	(log1p (fma (fma 0.04481 x 0.99229) x 1.0))

series471.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
147.0ms	(expm1 (log1p (fma (fma 0.04481 x 0.99229) x 1.0)))
198.0ms	(/ (fma x 0.27061 2.30753) (expm1 (log1p (fma (fma 0.04481 x 0.99229) x 1.0))))
98.0ms	(log1p (fma (fma 0.04481 x 0.99229) x 1.0))

simplify748.0ms

Counts

73 → 73

Iterations

Useful iterations: done (745.0ms)

Iter	Nodes	Cost
0	217	1624
1	528	1437
2	1622	1279
done	5000	1201

prune304.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (fma 0.04481 x 0.99229) x 1.0)
0.1b	(pow (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 3)
15.1b	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
19.4b	(cbrt (pow (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 3))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

45×	`times-frac`
42×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
32×	`cbrt-prod`
26×	`unpow-prod-down` `cube-prod`
9×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `div-inv`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow-unpow` `associate-/r` `associate-/l`
2×	`cbrt-undiv` `cube-div` `cube-mult` `unpow3` `div-exp` `pow-exp` `rem-cube-cbrt` `sqr-pow`
1×	`pow-to-exp` `cbrt-div` `pow-pow` `frac-2neg` `pow1/3` `clear-num` `rem-cbrt-cube` `fma-udef`

Counts

4 → 131

Calls

4 calls:

0.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
7.0ms	(pow (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 3)
5.0ms	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
6.0ms	(cbrt (pow (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 3))

series254.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
92.0ms	(pow (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 3)
62.0ms	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))
68.0ms	(cbrt (pow (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 3))

simplify743.0ms

Counts

143 → 143

Iterations

Useful iterations: done (737.0ms)

Iter	Nodes	Cost
0	188	3328
1	445	2920
2	1334	2611
done	5000	2540

prune378.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes31.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	18
done	15	18

end0.0ms

sample364.0ms

Algorithm

intervals

Results

242.0ms

8000×

body

valid