Details

Time bar (total: 3.7s)

analyze885.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
0%99.8%0.2%9
13.2%86.5%0.2%10
17%82.8%0.2%11
18.2%81.5%0.2%12
21.7%78.1%0.2%13
32.9%66.9%0.2%14

sample25.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
1.0ms18×body80invalid

simplify115.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (100.0ms)

IterNodesCost
0489116
1489116

prune2.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 10.0b

Counts
2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(-.f64 x (*.f64 y z))
0.0b
(-.f64 t (*.f64 a z))
9.7b
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
9×times-frac_binary64
7×add-log-exp_binary64
5×add-exp-log_binary64 add-cbrt-cube_binary64
4×flip3--_binary64 flip--_binary64
3×associate-/r*_binary64 pow1_binary64 associate-/l*_binary64 insert-posit16
2×associate-/l/_binary64 sub-neg_binary64 diff-log_binary64 associate-/r/_binary64
1×cbrt-undiv_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64
Counts
3 → 57
Calls
3 calls:
4.0ms
(-.f64 x (*.f64 y z))
4.0ms
(-.f64 t (*.f64 a z))
8.0ms
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z)))

series176.0ms

Counts
3 → 9
Calls
3 calls:
55.0ms
(-.f64 x (*.f64 y z))
55.0ms
(-.f64 t (*.f64 a z))
66.0ms
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0819
1819
0819
1819
013
113
0399
1399
0399
1399
013
113
0399
1399
0399
1399
013
113

simplify109.0ms

Counts
66 → 66
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
051471136

prune57.0ms

Filtered
54 candidates to 66 candidates (-22.2%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New59766
Fresh000
Picked101
Done000
Total60767

Merged error: 9.7b

Counts
67 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(-.f64 t (*.f64 z a))
0.0b
(-.f64 (/.f64 x (-.f64 t (*.f64 z a))) (/.f64 (*.f64 y z) (-.f64 t (*.f64 z a))))
2.4b
(/.f64 x (-.f64 t (*.f64 z a)))
10.6b
(/.f64 (*.f64 y z) (-.f64 t (*.f64 z a)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt_binary64
16×*-un-lft-identity_binary64
14×add-cube-cbrt_binary64
13×times-frac_binary64
11×add-exp-log_binary64 add-cbrt-cube_binary64
8×add-log-exp_binary64 associate-/r/_binary64
6×associate-/r*_binary64 flip3--_binary64 flip--_binary64
4×pow1_binary64 associate-/l*_binary64 div-inv_binary64 insert-posit16
3×distribute-rgt-out--_binary64 cbrt-undiv_binary64 div-exp_binary64
2×sub-neg_binary64 diff-log_binary64 clear-num_binary64 frac-2neg_binary64 difference-of-squares_binary64
1×cbrt-unprod_binary64 prod-exp_binary64 distribute-lft-out--_binary64 sub-div_binary64 frac-sub_binary64
Counts
4 → 86
Calls
4 calls:
4.0ms
(-.f64 t (*.f64 z a))
18.0ms
(-.f64 (/.f64 x (-.f64 t (*.f64 z a))) (/.f64 (*.f64 y z) (-.f64 t (*.f64 z a))))
6.0ms
(/.f64 x (-.f64 t (*.f64 z a)))
8.0ms
(/.f64 (*.f64 y z) (-.f64 t (*.f64 z a)))

series253.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(-.f64 t (*.f64 z a))
73.0ms
(-.f64 (/.f64 x (-.f64 t (*.f64 z a))) (/.f64 (*.f64 y z) (-.f64 t (*.f64 z a))))
63.0ms
(/.f64 x (-.f64 t (*.f64 z a)))
61.0ms
(/.f64 (*.f64 y z) (-.f64 t (*.f64 z a)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0539
1539
0539
1539
013
113
0549
1549
0549
1549
013
113
03069
13069
03069
13069
013
113
0399
1399
0399
1399
013
113

simplify89.0ms

Counts
98 → 98
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
050941819

prune74.0ms

Filtered
76 candidates to 98 candidates (-28.9%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New95398
Fresh156
Picked011
Done000
Total969105

Merged error: 4.6b

Counts
105 → 9

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (/.f64 x (-.f64 t (*.f64 z a))) (/.f64 y (/.f64 (-.f64 t (*.f64 z a)) z)))
2.4b
(/.f64 y (/.f64 (-.f64 t (*.f64 z a)) z))
2.4b
(/.f64 x (-.f64 t (*.f64 z a)))
6.9b
(/.f64 (-.f64 t (*.f64 z a)) z)

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
104×times-frac_binary64
83×add-sqr-sqrt_binary64
68×*-un-lft-identity_binary64
62×add-cube-cbrt_binary64
19×associate-/r*_binary64
13×add-exp-log_binary64 add-cbrt-cube_binary64
9×associate-/l*_binary64
7×div-inv_binary64
6×add-log-exp_binary64 difference-of-squares_binary64
5×cbrt-undiv_binary64 div-exp_binary64
4×pow1_binary64 insert-posit16
3×flip3--_binary64 associate-/r/_binary64 clear-num_binary64 frac-2neg_binary64 flip--_binary64
2×associate-/l/_binary64 distribute-lft-out--_binary64
1×sub-neg_binary64 diff-log_binary64 div-sub_binary64 frac-sub_binary64
Counts
4 → 153
Calls
4 calls:
47.0ms
(-.f64 (/.f64 x (-.f64 t (*.f64 z a))) (/.f64 y (/.f64 (-.f64 t (*.f64 z a)) z)))
8.0ms
(/.f64 y (/.f64 (-.f64 t (*.f64 z a)) z))
6.0ms
(/.f64 x (-.f64 t (*.f64 z a)))
7.0ms
(/.f64 (-.f64 t (*.f64 z a)) z)

series270.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(-.f64 (/.f64 x (-.f64 t (*.f64 z a))) (/.f64 y (/.f64 (-.f64 t (*.f64 z a)) z)))
62.0ms
(/.f64 y (/.f64 (-.f64 t (*.f64 z a)) z))
59.0ms
(/.f64 x (-.f64 t (*.f64 z a)))
58.0ms
(/.f64 (-.f64 t (*.f64 z a)) z)
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0549
1549
0549
1549
013
113
0549
1549
0549
1549
013
113
0819
1819
0819
1819
013
113
07379
17379
07379
17379
013
113

simplify119.0ms

Counts
165 → 165
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
051553819

prune129.0ms

Filtered
133 candidates to 165 candidates (-24.1%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1632165
Fresh257
Picked011
Done101
Total1668174

Merged error: 4.6b

Counts
174 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (/.f64 x (-.f64 t (*.f64 z a))) (*.f64 y (/.f64 z (-.f64 t (*.f64 z a)))))
2.4b
(/.f64 x (-.f64 t (*.f64 z a)))
2.5b
(*.f64 y (/.f64 z (-.f64 t (*.f64 z a))))
7.0b
(/.f64 z (-.f64 t (*.f64 z a)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt_binary64
28×*-un-lft-identity_binary64 add-cube-cbrt_binary64 times-frac_binary64
15×associate-*r*_binary64
13×add-exp-log_binary64 add-cbrt-cube_binary64
6×associate-/r*_binary64 add-log-exp_binary64 pow1_binary64 associate-/r/_binary64 associate-/l*_binary64
4×flip3--_binary64 insert-posit16 flip--_binary64
3×cbrt-undiv_binary64 associate-*r/_binary64 associate-*l*_binary64 div-inv_binary64 div-exp_binary64
2×cbrt-unprod_binary64 unswap-sqr_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64
1×pow-prod-down_binary64 sub-neg_binary64 diff-log_binary64 sub-div_binary64 frac-sub_binary64 *-commutative_binary64
Counts
4 → 109
Calls
4 calls:
11.0ms
(-.f64 (/.f64 x (-.f64 t (*.f64 z a))) (*.f64 y (/.f64 z (-.f64 t (*.f64 z a)))))
6.0ms
(/.f64 x (-.f64 t (*.f64 z a)))
11.0ms
(*.f64 y (/.f64 z (-.f64 t (*.f64 z a))))
6.0ms
(/.f64 z (-.f64 t (*.f64 z a)))

series248.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(-.f64 (/.f64 x (-.f64 t (*.f64 z a))) (*.f64 y (/.f64 z (-.f64 t (*.f64 z a)))))
60.0ms
(/.f64 x (-.f64 t (*.f64 z a)))
60.0ms
(*.f64 y (/.f64 z (-.f64 t (*.f64 z a))))
59.0ms
(/.f64 z (-.f64 t (*.f64 z a)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0509
1509
0509
1509
013
113
0579
1579
0579
1579
013
113
0549
1549
0549
1549
013
113
01269
11269
01269
11269
013
113

simplify88.0ms

Counts
121 → 121
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
049872126
149872126

prune77.0ms

Filtered
96 candidates to 121 candidates (-26.0%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1210121
Fresh066
Picked011
Done011
Total1218129

Merged error: 4.6b

Counts
129 → 8

regimes105.0ms

Accuracy

55.4% (0.7b remaining)

Error of 7.0b against oracle of 6.4b and baseline of 7.9b

bsearch48.0ms

Steps
ItersRangePoint
10
2.524797695192115e-43
7.178447934505142e-26
6.438744086964507e-43
9
-4.227034457437827e-148
-1.2652447658698772e-154
-2.7861430682011674e-150

simplify8.0ms

Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
08358
18358

end0.0ms

sample604.0ms

Algorithm
intervals
Results
300.0ms8000×body80valid
25.0ms709×body80invalid

Profiling

Loading profile data...