Details

sample49.0ms

Algorithm

intervals

Results

24.0ms

331×

body

valid

simplify8.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
26	4790
25	4598
24	4368
23	4175
22	3940
21	3748
20	3507
19	3315
18	3080
17	2887
16	2638
15	2436
14	2190
13	1989
12	1738
11	1529
10	1276
9	1121
8	805
7	394
6	210
5	172
4	132
3	91
2	46
1	19
0	8

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize53.0ms

Local error

Found 2 expressions with local error:

0.0b	(- 1.0 (* x (fma 0.12 x 0.253)))
0.1b	(* x (fma 0.12 x 0.253))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 46

Calls

2 calls:

12.0ms	(- 1.0 (* x (fma 0.12 x 0.253)))
21.0ms	(* x (fma 0.12 x 0.253))

series170.0ms

Counts

2 → 6

Calls

2 calls:

46.0ms	(- 1.0 (* x (fma 0.12 x 0.253)))
124.0ms	(* x (fma 0.12 x 0.253))

simplify6.5s

Counts

52 → 52

Iterations

Iter	Nodes
done	5001
3	2542
2	533
1	183
0	82

prune551.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize68.0ms

Local error

Found 3 expressions with local error:

0.0b	(- 1.0 (+ (* (* 0.12 x) x) (* 0.253 x)))
0.0b	(+ (* (* 0.12 x) x) (* 0.253 x))
0.2b	(* (* 0.12 x) x)

rewrite263.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt` `*-un-lft-identity`
12×	`prod-diff` `add-cube-cbrt`
10×	`add-log-exp`
8×	`pow1` `add-cbrt-cube` `add-exp-log`
4×	`distribute-rgt-out`
3×	`expm1-log1p-u` `fma-neg` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `insert-posit16` `log1p-expm1-u`
2×	`sum-log` `diff-log`
1×	`+-commutative` `sub-neg` `fma-def` `flip3-+` `flip3--` `associate-l` `*-commutative` `flip-+` `flip--` `associate--r+` `distribute-lft-out--` `difference-of-squares`

Counts

3 → 71

Calls

3 calls:

149.0ms	(- 1.0 (+ (* (* 0.12 x) x) (* 0.253 x)))
58.0ms	(+ (* (* 0.12 x) x) (* 0.253 x))
52.0ms	(* (* 0.12 x) x)

series194.0ms

Counts

3 → 9

Calls

3 calls:

34.0ms	(- 1.0 (+ (* (* 0.12 x) x) (* 0.253 x)))
113.0ms	(+ (* (* 0.12 x) x) (* 0.253 x))
47.0ms	(* (* 0.12 x) x)

simplify3.3s

Counts

80 → 80

Iterations

Iter	Nodes
done	5000
2	1198
1	335
0	125

prune819.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize122.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* 0.12 x) x)
0.3b	(* (sqrt (* (* 0.12 x) x)) (sqrt (* (* 0.12 x) x)))
18.9b	(sqrt (* (* 0.12 x) x))
18.9b	(sqrt (* (* 0.12 x) x))

rewrite441.0ms

Algorithm

rewrite-expression-head

Rules

148×	`pow1`
80×	`pow-prod-down`
66×	`sqrt-pow1`
17×	`pow-prod-up`
14×	`pow1/2`
11×	`add-sqr-sqrt` `add-cbrt-cube` `add-exp-log` `pow-sqr`
9×	`*-un-lft-identity` `add-cube-cbrt`
7×	`associate-r`
6×	`sqrt-prod`
5×	`associate-l`
4×	`expm1-log1p-u` `swap-sqr` `prod-exp` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`*-commutative`
1×	`pow2` `rem-square-sqrt` `pow-plus` `sqrt-unprod` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

57.0ms	(* (* 0.12 x) x)
262.0ms	(* (sqrt (* (* 0.12 x) x)) (sqrt (* (* 0.12 x) x)))
56.0ms	(sqrt (* (* 0.12 x) x))
55.0ms	(sqrt (* (* 0.12 x) x))

series326.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(* (* 0.12 x) x)
123.0ms	(* (sqrt (* (* 0.12 x) x)) (sqrt (* (* 0.12 x) x)))
77.0ms	(sqrt (* (* 0.12 x) x))
67.0ms	(sqrt (* (* 0.12 x) x))

simplify4.5s

Counts

132 → 132

Iterations

Iter	Nodes
done	5002
3	1766
2	518
1	219
0	90

prune922.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize183.0ms

Local error

Found 4 expressions with local error:

18.9b	(sqrt (* (* 0.12 x) x))
19.7b	(cbrt (* (* 0.12 x) x))
19.7b	(cbrt (* (* 0.12 x) x))
19.7b	(cbrt (* (* 0.12 x) x))

rewrite174.0ms

Algorithm

rewrite-expression-head

Rules

10×	`pow1`
4×	`add-sqr-sqrt` `expm1-log1p-u` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-prod` `sqrt-pow1` `pow1/3` `pow-prod-down`
1×	`pow1/2` `sqrt-prod`

Counts

4 → 51

Calls

4 calls:

53.0ms	(sqrt (* (* 0.12 x) x))
38.0ms	(cbrt (* (* 0.12 x) x))
33.0ms	(cbrt (* (* 0.12 x) x))
49.0ms	(cbrt (* (* 0.12 x) x))

series1.2s

Counts

4 → 12

Calls

4 calls:

53.0ms	(sqrt (* (* 0.12 x) x))
371.0ms	(cbrt (* (* 0.12 x) x))
394.0ms	(cbrt (* (* 0.12 x) x))
344.0ms	(cbrt (* (* 0.12 x) x))

simplify7.2s

Counts

63 → 63

Iterations

Iter	Nodes
done	5000
6	1654
5	700
4	323
3	180
2	102
1	65
0	42

prune690.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes179.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Iter	Nodes
done	8
1	8
0	7

end0.0ms

sample903.0ms

Algorithm

intervals

Results

657.0ms

10710×

body

valid