Details

analyze10.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
81.2%	18.7%	0%	6
100%	0%	0%	7

sample41.0ms

Algorithm

intervals

Results

30.0ms

256×

body

valid

simplify162.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (142.0ms)

Iter	Nodes	Cost
0	5179	106

prune12.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 32.9b

Counts

2 → 2

localize41.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 3782789308857969/36028797018963968 (.f64 x x))
0.1b	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
18.1b	(.f64 x (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (.f64 825478423409049/2305843009213693952 (pow.f64 x 12)))))
32.3b	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))))

rewrite108.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64`
22×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
21×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
19×	`associate-r_binary64` `times-frac_binary64`
16×	`pow1_binary64`
8×	`cbrt-unprod_binary64` `prod-exp_binary64`
7×	`pow-prod-down_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64` `associate-/r/_binary64` `unswap-sqr_binary64` `insert-posit16`
3×	`flip3-+_binary64` `associate-/r_binary64` `associate-/l_binary64` `flip-+_binary64` `*-commutative_binary64`
2×	`associate-/l/_binary64` `cbrt-undiv_binary64` `div-inv_binary64` `div-exp_binary64`
1×	`associate-*r/_binary64` `clear-num_binary64` `frac-2neg_binary64`

Counts

4 → 107

Calls

4 calls:

7.0ms	(.f64 3782789308857969/36028797018963968 (.f64 x x))
7.0ms	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
39.0ms	(.f64 x (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (.f64 825478423409049/2305843009213693952 (pow.f64 x 12)))))
50.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))))

series2.1s

Counts

4 → 12

Calls

4 calls:

149.0ms	(.f64 3782789308857969/36028797018963968 (.f64 x x))
149.0ms	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
1.2s	(.f64 x (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (.f64 825478423409049/2305843009213693952 (pow.f64 x 12)))))
594.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	2929	9
1	2929	9
0	2929	9
1	2929	9
0	1	3
1	1	3
0	14372	9
1	14372	9
0	14372	9
1	14372	9
0	1	3
1	1	3
0	673	9
1	673	9
0	673	9
1	673	9
0	1	3
1	1	3
0	673	9
1	673	9
0	673	9
1	673	9
0	1	3
1	1	3

simplify124.0ms

Counts

119 → 119

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5000	8840

prune657.0ms

Filtered

86 candidates to 119 candidates (-38.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	115	4	119
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	116	5	121

Merged error: 31.0b

Counts

121 → 5

localize47.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 3782789308857969/36028797018963968 (.f64 x x))
0.1b	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
18.1b	(.f64 x (/.f64 (+.f64 (-.f64 -1 (+.f64 (+.f64 (.f64 3782789308857969/36028797018963968 (.f64 x x)) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (+.f64 (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6)) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))))) (.f64 (pow.f64 x 10) -825478423409049/4611686018427387904)) (-.f64 (.f64 (pow.f64 x 12) -825478423409049/2305843009213693952) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)))))
32.3b	(/.f64 (+.f64 (-.f64 -1 (+.f64 (+.f64 (.f64 3782789308857969/36028797018963968 (.f64 x x)) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (+.f64 (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6)) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))))) (.f64 (pow.f64 x 10) -825478423409049/4611686018427387904)) (-.f64 (.f64 (pow.f64 x 12) -825478423409049/2305843009213693952) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (*.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808))))

rewrite97.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64`
22×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
21×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
19×	`associate-r_binary64` `times-frac_binary64`
16×	`pow1_binary64`
8×	`cbrt-unprod_binary64` `prod-exp_binary64`
7×	`pow-prod-down_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64` `associate-/r/_binary64` `unswap-sqr_binary64` `insert-posit16`
3×	`associate-/r_binary64` `associate-/l_binary64` `*-commutative_binary64`
2×	`associate-/l/_binary64` `flip3--_binary64` `cbrt-undiv_binary64` `div-inv_binary64` `div-exp_binary64` `flip--_binary64`
1×	`flip3-+_binary64` `associate-*r/_binary64` `associate-+l-_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `flip-+_binary64`

Counts

4 → 108

Calls

4 calls:

7.0ms	(.f64 3782789308857969/36028797018963968 (.f64 x x))
7.0ms	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
40.0ms	(.f64 x (/.f64 (+.f64 (-.f64 -1 (+.f64 (+.f64 (.f64 3782789308857969/36028797018963968 (.f64 x x)) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (+.f64 (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6)) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))))) (.f64 (pow.f64 x 10) -825478423409049/4611686018427387904)) (-.f64 (.f64 (pow.f64 x 12) -825478423409049/2305843009213693952) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)))))
39.0ms	(/.f64 (+.f64 (-.f64 -1 (+.f64 (+.f64 (.f64 3782789308857969/36028797018963968 (.f64 x x)) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (+.f64 (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6)) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))))) (.f64 (pow.f64 x 10) -825478423409049/4611686018427387904)) (-.f64 (.f64 (pow.f64 x 12) -825478423409049/2305843009213693952) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (*.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808))))

series2.1s

Counts

4 → 12

Calls

4 calls:

149.0ms	(.f64 3782789308857969/36028797018963968 (.f64 x x))
149.0ms	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
1.2s	(.f64 x (/.f64 (+.f64 (-.f64 -1 (+.f64 (+.f64 (.f64 3782789308857969/36028797018963968 (.f64 x x)) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (+.f64 (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6)) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))))) (.f64 (pow.f64 x 10) -825478423409049/4611686018427387904)) (-.f64 (.f64 (pow.f64 x 12) -825478423409049/2305843009213693952) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)))))
587.0ms	(/.f64 (+.f64 (-.f64 -1 (+.f64 (+.f64 (.f64 3782789308857969/36028797018963968 (.f64 x x)) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (+.f64 (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6)) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))))) (.f64 (pow.f64 x 10) -825478423409049/4611686018427387904)) (-.f64 (.f64 (pow.f64 x 12) -825478423409049/2305843009213693952) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (*.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808))))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	2983	9
1	2983	9
0	2983	9
1	2983	9
0	1	3
1	1	3
0	14420	9
1	14420	9
0	14420	9
1	14420	9
0	1	3
1	1	3
0	673	9
1	673	9
0	673	9
1	673	9
0	1	3
1	1	3
0	673	9
1	673	9
0	673	9
1	673	9
0	1	3
1	1	3

simplify124.0ms

Counts

120 → 120

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5419	8961

prune590.0ms

Filtered

86 candidates to 120 candidates (-39.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	120	5	125

Merged error: 31.0b

Counts

125 → 5

localize41.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
0.2b	(/.f64 1 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))))
18.1b	(.f64 x (.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (/.f64 1 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))))))
32.1b	(.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (/.f64 1 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (.f64 825478423409049/2305843009213693952 (pow.f64 x 12)))))

rewrite131.0ms

Algorithm

rewrite-expression-head

Rules

37×	`add-exp-log_binary64`
30×	`add-sqr-sqrt_binary64`
25×	`add-cbrt-cube_binary64`
23×	`*-un-lft-identity_binary64`
22×	`add-cube-cbrt_binary64`
20×	`times-frac_binary64`
19×	`associate-r_binary64`
17×	`pow1_binary64`
16×	`prod-exp_binary64`
10×	`cbrt-unprod_binary64`
8×	`associate-*r/_binary64`
7×	`pow-prod-down_binary64` `associate-l_binary64`
6×	`flip3-+_binary64` `div-exp_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64` `associate-/r/_binary64` `unswap-sqr_binary64` `insert-posit16` `frac-times_binary64` `associate-*l/_binary64`
3×	`associate-/r_binary64` `1-exp_binary64` `cbrt-undiv_binary64` `rec-exp_binary64` `associate-/l_binary64` `*-commutative_binary64`
2×	`un-div-inv_binary64` `div-inv_binary64`
1×	`clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `pow-flip_binary64`

Counts

4 → 126

Calls

4 calls:

7.0ms	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
24.0ms	(/.f64 1 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))))
47.0ms	(.f64 x (.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (/.f64 1 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))))))
48.0ms	(.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (/.f64 1 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (.f64 825478423409049/2305843009213693952 (pow.f64 x 12)))))

series1.8s

Counts

4 → 12

Calls

4 calls:

151.0ms	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
493.0ms	(/.f64 1 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))))
566.0ms	(.f64 x (.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (/.f64 1 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))))))
580.0ms	(.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (/.f64 1 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (.f64 825478423409049/2305843009213693952 (pow.f64 x 12)))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	2950	9
1	2950	9
0	2950	9
1	2950	9
0	1	3
1	1	3
0	3065	9
1	3065	9
0	3065	9
1	3065	9
0	1	3
1	1	3
0	2585	9
1	2585	9
0	2585	9
1	2585	9
0	1	3
1	1	3
0	673	9
1	673	9
0	673	9
1	673	9
0	1	3
1	1	3

simplify143.0ms

Counts

138 → 138

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5056	10655

prune585.0ms

Filtered

87 candidates to 138 candidates (-58.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	138	0	138
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	138	5	143

Merged error: 31.0b

Counts

143 → 5

localize47.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (.f64 x x) (*.f64 x x))
0.1b	(.f64 (.f64 x x) (*.f64 x x))
18.1b	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)
32.3b	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))))

rewrite255.0ms

Algorithm

rewrite-expression-head

Rules

228×	`pow1_binary64`
72×	`pow-prod-up_binary64`
47×	`pow-prod-down_binary64`
44×	`pow-sqr_binary64`
36×	`pow-plus_binary64`
35×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
26×	`pow2_binary64`
25×	`add-sqr-sqrt_binary64`
20×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
19×	`times-frac_binary64`
18×	`cbrt-unprod_binary64` `prod-exp_binary64`
17×	`associate-l_binary64`
5×	`associate-r_binary64`
4×	`add-log-exp_binary64` `associate-/r/_binary64` `unswap-sqr_binary64` `insert-posit16`
3×	`flip3-+_binary64` `associate-/r_binary64` `associate-/l_binary64` `flip-+_binary64` `*-commutative_binary64`
2×	`associate-/l/_binary64` `swap-sqr_binary64` `cbrt-undiv_binary64` `div-inv_binary64` `div-exp_binary64`
1×	`clear-num_binary64` `frac-2neg_binary64` `associate-*l/_binary64`

Counts

4 → 195

Calls

4 calls:

11.0ms	(.f64 (.f64 x x) (*.f64 x x))
12.0ms	(.f64 (.f64 x x) (*.f64 x x))
92.0ms	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)
125.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))))

series2.7s

Counts

4 → 12

Calls

4 calls:

246.0ms	(.f64 (.f64 x x) (*.f64 x x))
243.0ms	(.f64 (.f64 x x) (*.f64 x x))
1.5s	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)
795.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	4201	9
1	4201	9
0	4201	9
1	4201	9
0	1	3
1	1	3
0	15632	9
1	15632	9
0	15632	9
1	15632	9
0	1	3
1	1	3
0	1267	9
1	1267	9
0	1267	9
1	1267	9
0	1	3
1	1	3
0	1267	9
1	1267	9
0	1267	9
1	1267	9
0	1	3
1	1	3

simplify206.0ms

Counts

207 → 207

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	5299	10994

prune810.0ms

Filtered

93 candidates to 207 candidates (-122.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	206	1	207
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	206	6	212

Merged error: 30.9b

Counts

212 → 6

regimes144.0ms

Accuracy

59% (0.7b remaining)

Error of 28.5b against oracle of 27.8b and baseline of 29.5b

bsearch5.0ms

simplify21.0ms

Iterations

Useful iterations: 0 (12.0ms)

Iter	Nodes	Cost
0	396	368
1	396	368

end0.0ms

sample1.0s

Algorithm

intervals

Results

950.0ms

8000×

body

valid

Details

analyze10.0ms

sample41.0ms

simplify162.0ms

prune12.0ms

localize41.0ms

rewrite108.0ms

series2.1s

simplify124.0ms

prune657.0ms

localize47.0ms

rewrite97.0ms

series2.1s

simplify124.0ms

prune590.0ms

localize41.0ms

rewrite131.0ms

series1.8s

simplify143.0ms

prune585.0ms

localize47.0ms

rewrite255.0ms

series2.7s

simplify206.0ms

prune810.0ms

regimes144.0ms

bsearch5.0ms

simplify21.0ms

end0.0ms

sample1.0s

Profiling