Details

Time bar (total: 10.6s)

sample104.0ms

Algorithm
intervals
Results
34.0ms757×body80nan
18.0ms259×body80valid

simplify2.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01011
12011
24811
311211
421011
530811
645411
768911
884411
995611
10107511
11118611
12129711
13142011
14153111
15163911
16176211
17187311
18198111
19210411
20221511
21232711
22245011
23256111
24267211
25279511
26290611
27301411
28313711
29324811
30335911
31348211
32359311
33370811
34383111
35394211
36405011
37417311
38428411
39440011
40452311
41463411
42474211
43486511
44497611
done500011

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.1b

Counts
2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* x (log y)) y)
0.0b
(+ (- (- (* x (log y)) y) z) (log t))
0.3b
(* x (log y))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
21×log-prod
20×*-un-lft-identity associate--l+
14×add-sqr-sqrt
12×add-cube-cbrt
11×add-log-exp
10×associate-+l+
9×distribute-rgt-in distribute-lft-in
8×pow1
5×add-exp-log add-cbrt-cube
4×diff-log associate-*r* distribute-lft-out
3×sub-neg associate-+r+ associate-*l* sum-log log-pow
2×distribute-lft-out--
1×+-commutative associate-+l- flip3-- flip3-+ pow-prod-down prod-exp *-commutative flip-- cbrt-unprod flip-+ unswap-sqr
Counts
3 → 74
Calls
3 calls:
5.0ms
(- (* x (log y)) y)
17.0ms
(+ (- (- (* x (log y)) y) z) (log t))
5.0ms
(* x (log y))

series33.0ms

Counts
3 → 9
Calls
3 calls:
11.0ms
(- (* x (log y)) y)
14.0ms
(+ (- (- (* x (log y)) y) z) (log t))
8.0ms
(* x (log y))

simplify769.0ms

Counts
83 → 83
Iterations

Useful iterations: 3 (281.0ms)

IterNodesCost
0155882
1354843
2920760
33191730
done5001730

prune117.0ms

Filtered
56 candidates to 83 candidates (-48.2%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New77683
Fresh000
Picked011
Done000
Total77784

Merged error: 0.0b

Counts
84 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt y) (cbrt y))
0.5b
(cbrt y)
0.5b
(cbrt y)
0.5b
(cbrt y)

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 73
Calls
4 calls:
7.0ms
(* (cbrt y) (cbrt y))
4.0ms
(cbrt y)
1.0ms
(cbrt y)
2.0ms
(cbrt y)

series103.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(* (cbrt y) (cbrt y))
24.0ms
(cbrt y)
24.0ms
(cbrt y)
24.0ms
(cbrt y)

simplify977.0ms

Counts
85 → 85
Iterations

Useful iterations: 4 (343.0ms)

IterNodesCost
076590
1151525
2383462
31207382
43432374
done5000374

prune117.0ms

Filtered
56 candidates to 85 candidates (-51.8%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New84185
Fresh145
Picked101
Done011
Total86692

Merged error: 0.0b

Counts
92 → 6

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt y) (cbrt y))
0.5b
(cbrt y)
0.5b
(cbrt y)
5.1b
(pow y 1/3)

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
22×cbrt-prod
16×add-cube-cbrt *-un-lft-identity
12×pow1
8×pow1/3
7×add-exp-log
6×swap-sqr associate-*r* associate-*l*
4×add-cbrt-cube add-log-exp unswap-sqr
3×unpow-prod-down pow-unpow
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-to-exp pow-pow pow-plus unpow1/3 pow-exp prod-exp *-commutative cbrt-unprod sqr-pow
Counts
4 → 80
Calls
4 calls:
6.0ms
(* (cbrt y) (cbrt y))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
3.0ms
(pow y 1/3)

series102.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(* (cbrt y) (cbrt y))
27.0ms
(cbrt y)
24.0ms
(cbrt y)
23.0ms
(pow y 1/3)

simplify678.0ms

Counts
92 → 92
Iterations

Useful iterations: 3 (224.0ms)

IterNodesCost
0102638
1209500
2674404
32744356
done5001356

prune149.0ms

Filtered
59 candidates to 92 candidates (-55.9%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New91192
Fresh044
Picked011
Done011
Total91798

Merged error: 0.0b

Counts
98 → 7

localize29.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt y)
0.5b
(cbrt y)
5.1b
(pow (pow y (sqrt 1/3)) (sqrt 1/3))
5.9b
(pow y (sqrt 1/3))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt add-cube-cbrt unpow-prod-down *-un-lft-identity
12×pow-unpow
7×add-exp-log
6×cbrt-prod sqrt-prod
5×pow1 pow-exp
4×add-cbrt-cube add-log-exp
3×pow-to-exp sqr-pow
2×pow-pow pow1/3
Counts
4 → 68
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
5.0ms
(pow (pow y (sqrt 1/3)) (sqrt 1/3))
3.0ms
(pow y (sqrt 1/3))

series130.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(cbrt y)
28.0ms
(cbrt y)
54.0ms
(pow (pow y (sqrt 1/3)) (sqrt 1/3))
24.0ms
(pow y (sqrt 1/3))

simplify470.0ms

Counts
80 → 80
Iterations

Useful iterations: 3 (140.0ms)

IterNodesCost
0103672
1232588
2571534
31553441
done5002441

prune150.0ms

Filtered
50 candidates to 80 candidates (-60.0%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New80080
Fresh044
Picked011
Done022
Total80787

Merged error: 0.0b

Counts
87 → 7

regimes630.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01722
12122
done2122

end0.0ms

sample3.2s

Algorithm
intervals
Results
1.2s24842×body80nan
436.0ms8041×body80valid

Profiling

Loading profile data...