Details

Time bar (total: 4.7s)

analyze1.1s

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
0%99.8%0.2%10
9.4%90.4%0.2%11
9.4%90.4%0.2%12
10.1%89.6%0.2%13
20.8%78.9%0.2%14

sample29.0ms

Algorithm
intervals
Results
11.0ms256×body80valid
3.0ms73×body80invalid

simplify358.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (355.0ms)

IterNodesCost
0488813
1488813

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 9.1b

Counts
2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.2b
(*.f64 (*.f64 z 9.0) t)
0.3b
(-.f64 (*.f64 x y) (*.f64 (*.f64 z 9.0) t))
8.6b
(/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z 9.0) t)) (*.f64 a 2.0))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
13×add-exp-log_binary64 add-cbrt-cube_binary64
8×pow1_binary64
6×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
5×add-log-exp_binary64
4×cbrt-unprod_binary64 prod-exp_binary64
3×pow-prod-down_binary64 associate-*r*_binary64 associate-/l*_binary64 times-frac_binary64
2×associate-/l/_binary64 flip3--_binary64 cbrt-undiv_binary64 div-exp_binary64 flip--_binary64
1×associate-/r*_binary64 sub-neg_binary64 diff-log_binary64 associate-*l*_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 *-commutative_binary64
Counts
3 → 53
Calls
3 calls:
5.0ms
(*.f64 (*.f64 z 9.0) t)
9.0ms
(-.f64 (*.f64 x y) (*.f64 (*.f64 z 9.0) t))
7.0ms
(/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z 9.0) t)) (*.f64 a 2.0))

series41.0ms

Counts
3 → 9
Calls
3 calls:
4.0ms
(*.f64 (*.f64 z 9.0) t)
15.0ms
(-.f64 (*.f64 x y) (*.f64 (*.f64 z 9.0) t))
22.0ms
(/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z 9.0) t)) (*.f64 a 2.0))

simplify36.0ms

Algorithm
egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
05095704

prune105.0ms

Filtered
43 candidates to 62 candidates (-44.2%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New521062
Fresh000
Picked101
Done000
Total531063

Merged error: 8.8b

Counts
63 → 10

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (*.f64 0.5 (/.f64 (*.f64 x y) a)) (*.f64 4.5 (/.f64 (*.f64 z t) a)))
0.2b
(*.f64 4.5 (/.f64 (*.f64 z t) a))
6.3b
(/.f64 (*.f64 z t) a)
6.3b
(/.f64 (*.f64 x y) a)

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
23×add-exp-log_binary64 add-cbrt-cube_binary64
13×add-sqr-sqrt_binary64
11×*-un-lft-identity_binary64 add-cube-cbrt_binary64
9×times-frac_binary64
7×associate-*r*_binary64
6×associate-/r*_binary64 add-log-exp_binary64 pow1_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 prod-exp_binary64 div-exp_binary64
5×associate-*r/_binary64
3×associate-*l*_binary64 div-inv_binary64
2×clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64
1×pow-prod-down_binary64 sub-neg_binary64 flip3--_binary64 diff-log_binary64 unswap-sqr_binary64 sub-div_binary64 flip--_binary64 frac-sub_binary64 *-commutative_binary64
Counts
4 → 82
Calls
4 calls:
9.0ms
(-.f64 (*.f64 0.5 (/.f64 (*.f64 x y) a)) (*.f64 4.5 (/.f64 (*.f64 z t) a)))
7.0ms
(*.f64 4.5 (/.f64 (*.f64 z t) a))
5.0ms
(/.f64 (*.f64 z t) a)
5.0ms
(/.f64 (*.f64 x y) a)

series48.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(-.f64 (*.f64 0.5 (/.f64 (*.f64 x y) a)) (*.f64 4.5 (/.f64 (*.f64 z t) a)))
7.0ms
(*.f64 4.5 (/.f64 (*.f64 z t) a))
6.0ms
(/.f64 (*.f64 z t) a)
6.0ms
(/.f64 (*.f64 x y) a)

simplify64.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
04965866
14965866

prune131.0ms

Filtered
65 candidates to 94 candidates (-44.6%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New87794
Fresh459
Picked101
Done000
Total9212104

Merged error: 0.3b

Counts
104 → 12

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (*.f64 0.5 (/.f64 (*.f64 x y) a)) (*.f64 4.5 (*.f64 z (/.f64 t a))))
0.2b
(*.f64 4.5 (*.f64 z (/.f64 t a)))
5.0b
(*.f64 z (/.f64 t a))
6.3b
(/.f64 (*.f64 x y) a)

rewrite27.0ms

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

series49.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(-.f64 (*.f64 0.5 (/.f64 (*.f64 x y) a)) (*.f64 4.5 (*.f64 z (/.f64 t a))))
7.0ms
(*.f64 4.5 (*.f64 z (/.f64 t a)))
6.0ms
(*.f64 z (/.f64 t a))
6.0ms
(/.f64 (*.f64 x y) a)

simplify51.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
04961892
14961892

prune117.0ms

Filtered
66 candidates to 99 candidates (-50.0%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New97299
Fresh2911
Picked101
Done000
Total10011111

Merged error: 0b

Counts
111 → 11

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (*.f64 0.5 (*.f64 x (/.f64 y a))) (*.f64 4.5 (*.f64 z (/.f64 t a))))
0.2b
(*.f64 4.5 (*.f64 z (/.f64 t a)))
5.0b
(*.f64 z (/.f64 t a))
6.1b
(*.f64 x (/.f64 y a))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt_binary64
27×associate-*r*_binary64
23×add-exp-log_binary64 add-cbrt-cube_binary64
21×*-un-lft-identity_binary64 add-cube-cbrt_binary64
20×times-frac_binary64
13×pow1_binary64
12×associate-*r/_binary64
9×cbrt-unprod_binary64 associate-*l*_binary64 prod-exp_binary64
6×add-log-exp_binary64
5×pow-prod-down_binary64
4×unswap-sqr_binary64
3×cbrt-undiv_binary64 div-exp_binary64 *-commutative_binary64
2×div-inv_binary64
1×sub-neg_binary64 flip3--_binary64 diff-log_binary64 sub-div_binary64 flip--_binary64 frac-sub_binary64
Counts
4 → 98
Calls
4 calls:
9.0ms
(-.f64 (*.f64 0.5 (*.f64 x (/.f64 y a))) (*.f64 4.5 (*.f64 z (/.f64 t a))))
7.0ms
(*.f64 4.5 (*.f64 z (/.f64 t a)))
6.0ms
(*.f64 z (/.f64 t a))
7.0ms
(*.f64 x (/.f64 y a))

series50.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(-.f64 (*.f64 0.5 (*.f64 x (/.f64 y a))) (*.f64 4.5 (*.f64 z (/.f64 t a))))
7.0ms
(*.f64 4.5 (*.f64 z (/.f64 t a)))
6.0ms
(*.f64 z (/.f64 t a))
6.0ms
(*.f64 x (/.f64 y a))

simplify51.0ms

Algorithm
egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
04966973
14966973

prune79.0ms

Filtered
75 candidates to 110 candidates (-46.7%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New1100110
Fresh01010
Picked011
Done000
Total11011121

Merged error: 0b

Counts
121 → 11

regimes1.4s

Accuracy

89% (0.8b remaining)

Error of 0.9b against oracle of 0.0b and baseline of 7.6b

bsearch1.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
011855
111855

end0.0ms

sample818.0ms

Algorithm
intervals
Results
341.0ms8000×body80valid
133.0ms3127×body80invalid

Profiling

Loading profile data...