Details

Time bar (total: 16.8s)

sample51.0ms

Algorithm
intervals
Results
22.0ms257×body80valid
12.0ms247×body80nan

simplify197.0ms

Counts
1 → 1
Iterations
IterNodes
done276
10276
9264
8208
7146
6102
588
473
349
229
115
07

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
23×associate--l+
22×*-un-lft-identity
20×add-cube-cbrt
18×log-prod
15×prod-diff
10×add-log-exp
9×distribute-rgt-in distribute-lft-in
6×pow1
5×add-cbrt-cube add-exp-log
4×fma-neg diff-log associate-*r*
3×expm1-log1p-u sub-neg associate-*l* insert-posit16 log1p-expm1-u
2×flip3-- flip--
1×associate--l- pow-prod-down prod-exp log-pow *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 95
Calls
3 calls:
79.0ms
(- (- (* x (log y)) z) y)
15.0ms
(- (* x (log y)) z)
12.0ms
(* x (log y))

series182.0ms

Counts
3 → 9
Calls
3 calls:
53.0ms
(- (- (* x (log y)) z) y)
72.0ms
(- (* x (log y)) z)
56.0ms
(* x (log y))

simplify2.6s

Counts
104 → 104
Iterations
IterNodes
done5001
33399
21035
1413
0174

prune357.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.3b
(+ (* x (+ (log (cbrt y)) (log (cbrt y)))) (* (log (cbrt y)) x))
0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×add-log-exp
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×pow1/3
2×associate-+l+
1×distribute-rgt-in +-commutative sum-log fma-def distribute-lft-in flip3-+ flip-+
Counts
4 → 59
Calls
4 calls:
18.0ms
(+ (* x (+ (log (cbrt y)) (log (cbrt y)))) (* (log (cbrt y)) x))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series926.0ms

Counts
4 → 12
Calls
4 calls:
170.0ms
(+ (* x (+ (log (cbrt y)) (log (cbrt y)))) (* (log (cbrt y)) x))
319.0ms
(cbrt y)
221.0ms
(cbrt y)
215.0ms
(cbrt y)

simplify2.7s

Counts
71 → 71
Iterations
IterNodes
done5000
33791
2755
1194
068

prune388.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (log (cbrt y)) x)
0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
9×cbrt-prod *-un-lft-identity add-cube-cbrt
7×pow1
6×add-cbrt-cube add-exp-log
5×associate-*l*
4×expm1-log1p-u pow1/3 insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r*
2×log-pow
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 65
Calls
4 calls:
7.0ms
(* (log (cbrt y)) x)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series876.0ms

Counts
4 → 12
Calls
4 calls:
140.0ms
(* (log (cbrt y)) x)
236.0ms
(cbrt y)
272.0ms
(cbrt y)
228.0ms
(cbrt y)

simplify1.2s

Counts
77 → 77
Iterations
IterNodes
done5001
31079
2333
1127
066

prune465.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize53.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (sqrt y))
0.6b
(cbrt (sqrt y))
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-prod
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×sqrt-prod
4×expm1-log1p-u pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 62
Calls
4 calls:
2.0ms
(cbrt (sqrt y))
2.0ms
(cbrt (sqrt y))
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series950.0ms

Counts
4 → 12
Calls
4 calls:
208.0ms
(cbrt (sqrt y))
236.0ms
(cbrt (sqrt y))
225.0ms
(cbrt y)
281.0ms
(cbrt y)

simplify3.0s

Counts
74 → 74
Iterations
IterNodes
done5000
44570
3910
2272
1116
061

prune497.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes182.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done8
18
07

end0.0ms

sample2.1s

Algorithm
intervals
Results
936.0ms8094×body80nan
685.0ms8035×body80valid
0.0ms1×body1280valid
0.0ms1×body640valid