Details

Time bar (total: 2.5s)

analyze1.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
100%0%0%2

sample14.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

simplify19.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0910
1910

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 13.9b

Counts
2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

13.9b
(/.f64 x (+.f64 (*.f64 x x) 1))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt_binary64_1672 add-cube-cbrt_binary64_1658 *-un-lft-identity_binary64_1687 times-frac_binary64_1682
3×associate-/l*_binary64_1751 add-cbrt-cube_binary64_1659 add-exp-log_binary64_1651 associate-/r*_binary64_1750
2×associate-/r/_binary64_1752
1×div-exp_binary64_1636 pow1_binary64_1629 add-log-exp_binary64_1652 flip3-+_binary64_1685 cbrt-undiv_binary64_1657 flip-+_binary64_1712 clear-num_binary64_1690 div-inv_binary64_1688 frac-2neg_binary64_1680
Counts
1 → 29
Calls
1 calls:
8.0ms
(/.f64 x (+.f64 (*.f64 x x) 1))

series192.0ms

Counts
1 → 3
Calls
1 calls:
192.0ms
(/.f64 x (+.f64 (*.f64 x x) 1))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
02131869
12131869
050761479
02131869
12131869
050761479
013
113

simplify85.0ms

Counts
32 → 32
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
04987496
14987496

prune29.0ms

Filtered
25 candidates to 32 candidates (-28.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New30232
Fresh000
Picked101
Done000
Total31233

Merged error: 13.8b

Counts
33 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(/.f64 (/.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))) (sqrt.f64 (+.f64 (*.f64 x x) 1)))
13.8b
(sqrt.f64 (+.f64 (*.f64 x x) 1))
13.8b
(sqrt.f64 (+.f64 (*.f64 x x) 1))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
270×times-frac_binary64_1682
148×add-sqr-sqrt_binary64_1672
146×add-cube-cbrt_binary64_1658 *-un-lft-identity_binary64_1687
144×sqrt-prod_binary64_1666
24×associate-/l*_binary64_1751
20×sqrt-div_binary64_1667
16×associate-/r/_binary64_1752
10×flip3-+_binary64_1685 flip-+_binary64_1712
8×add-cbrt-cube_binary64_1659 div-inv_binary64_1688 add-exp-log_binary64_1651
6×associate-/r*_binary64_1750
5×pow1_binary64_1629
3×div-exp_binary64_1636 add-log-exp_binary64_1652 cbrt-undiv_binary64_1657
2×rem-sqrt-square_binary64_1675 pow1/2_binary64_1619 sqrt-pow1_binary64_1668
1×associate-/l/_binary64_1753 clear-num_binary64_1690 frac-2neg_binary64_1680
Counts
3 → 221
Calls
3 calls:
24.0ms
(/.f64 (/.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))) (sqrt.f64 (+.f64 (*.f64 x x) 1)))
6.0ms
(sqrt.f64 (+.f64 (*.f64 x x) 1))
6.0ms
(sqrt.f64 (+.f64 (*.f64 x x) 1))

series784.0ms

Counts
3 → 9
Calls
3 calls:
238.0ms
(/.f64 (/.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))) (sqrt.f64 (+.f64 (*.f64 x x) 1)))
264.0ms
(sqrt.f64 (+.f64 (*.f64 x x) 1))
281.0ms
(sqrt.f64 (+.f64 (*.f64 x x) 1))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01661633
11661633
050391229
01661633
11661633
050391229
013
113
01661633
11661633
050391229
01661633
11661633
050391229
013
113
03232190
13232190
065581636
03232190
13232190
065581636
013
113

simplify219.0ms

Counts
230 → 230
Iterations

Useful iterations: 0 (144.0ms)

IterNodesCost
049487470
149487470

prune127.0ms

Filtered
112 candidates to 230 candidates (-105.4%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New2300230
Fresh011
Picked011
Done000
Total2302232

Merged error: 13.8b

Counts
232 → 2

localize9.0ms

Local error

Found 2 expressions with local error:

2.0b
(/.f64 x (+.f64 (pow.f64 x 4) -1))
19.9b
(*.f64 (/.f64 x (+.f64 (pow.f64 x 4) -1)) (-.f64 (*.f64 x x) 1))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
46×add-sqr-sqrt_binary64_1672
43×times-frac_binary64_1682
41×*-un-lft-identity_binary64_1687
27×associate-*l*_binary64_1747
26×add-cube-cbrt_binary64_1658
21×difference-of-sqr--1_binary64_1718
9×add-cbrt-cube_binary64_1659 add-exp-log_binary64_1651
7×sqr-pow_binary64_1719 distribute-lft-out_binary64_1731 unpow-prod-down_binary64_1618 associate-/r*_binary64_1750
6×associate-*r*_binary64_1746
4×pow1_binary64_1629 associate-/r/_binary64_1752
3×associate-/l*_binary64_1751
2×prod-exp_binary64_1634 associate-*r/_binary64_1748 unswap-sqr_binary64_1715 div-exp_binary64_1636 flip--_binary64_1713 add-log-exp_binary64_1652 flip3-+_binary64_1685 cbrt-undiv_binary64_1657 flip-+_binary64_1712 frac-times_binary64_1679 sub-neg_binary64_1691 div-inv_binary64_1688 flip3--_binary64_1686 cbrt-unprod_binary64_1656 difference-of-squares_binary64_1716
1×difference-of-sqr-1_binary64_1717 distribute-rgt-in_binary64_1730 distribute-lft-in_binary64_1729 associate-*l/_binary64_1749 pow-prod-down_binary64_1610 *-commutative_binary64_1755 clear-num_binary64_1690 frac-2neg_binary64_1680
Counts
2 → 100
Calls
2 calls:
10.0ms
(/.f64 x (+.f64 (pow.f64 x 4) -1))
22.0ms
(*.f64 (/.f64 x (+.f64 (pow.f64 x 4) -1)) (-.f64 (*.f64 x x) 1))

series506.0ms

Counts
2 → 6
Calls
2 calls:
207.0ms
(/.f64 x (+.f64 (pow.f64 x 4) -1))
299.0ms
(*.f64 (/.f64 x (+.f64 (pow.f64 x 4) -1)) (-.f64 (*.f64 x x) 1))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
03292074
13292074
049821930
149821930
03292074
13292074
049821930
149821930
013
113
02761859
12761859
049041628
149041628
02761859
12761859
049041628
149041628
013
113

simplify65.0ms

Counts
106 → 106
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
048381735
148381735

prune83.0ms

Filtered
80 candidates to 106 candidates (-32.5%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1060106
Fresh000
Picked011
Done011
Total1062108

Merged error: 13.8b

Counts
108 → 2

regimes8.0ms

Accuracy

0% (0.0b remaining)

Error of 14.7b against oracle of 14.7b and baseline of 14.7b

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01123
11123

end0.0ms

sample253.0ms

Algorithm
intervals
Results
168.0ms8000×body80valid

Profiling

Loading profile data...