Details

Time bar (total: 18.1s)

sample35.0ms

Algorithm
intervals
Results
10.0ms256×body80valid
9.0ms292×body80nan

simplify311.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
1158
2298
3498
4568
5648
6868
71118
81418
91538
101548
111608
121618
done1618

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize12.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))

rewrite141.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-exp-log add-cbrt-cube
4×fma-neg diff-log associate-*r*
3×expm1-log1p-u sub-neg associate-*l* 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 → 92
Calls
3 calls:
102.0ms
(- (- (* x (log y)) z) y)
21.0ms
(- (* x (log y)) z)
15.0ms
(* x (log y))

series226.0ms

Counts
3 → 9
Calls
3 calls:
59.0ms
(- (- (* x (log y)) z) y)
105.0ms
(- (* x (log y)) z)
62.0ms
(* x (log y))

simplify3.6s

Counts
101 → 101
Iterations

Useful iterations: done (3.6s)

IterNodesCost
01721162
1364991
2763877
32550791
done5001749

prune334.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
24×distribute-rgt-in log-prod distribute-lft-in
19×add-sqr-sqrt
18×cbrt-prod
17×add-cube-cbrt *-un-lft-identity
12×pow1
11×add-exp-log add-cbrt-cube
8×associate-*l*
4×expm1-log1p-u associate-*r* pow-prod-down prod-exp cbrt-unprod log1p-expm1-u add-log-exp
3×pow1/3
2×log-pow *-commutative
1×unswap-sqr
Counts
4 → 92
Calls
4 calls:
23.0ms
(* x (* 2 (log (cbrt y))))
10.0ms
(* (log (cbrt y)) x)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series903.0ms

Counts
4 → 12
Calls
4 calls:
133.0ms
(* x (* 2 (log (cbrt y))))
174.0ms
(* (log (cbrt y)) x)
267.0ms
(cbrt y)
329.0ms
(cbrt y)

simplify4.5s

Counts
104 → 104
Iterations

Useful iterations: 3 (2.1s)

IterNodesCost
0147952
1298896
2828765
33269748
done5001748

prune451.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u pow1/3 add-cbrt-cube log1p-expm1-u add-log-exp
Counts
4 → 52
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.2s

Counts
4 → 12
Calls
4 calls:
329.0ms
(cbrt y)
338.0ms
(cbrt y)
264.0ms
(cbrt y)
292.0ms
(cbrt y)

simplify2.3s

Counts
64 → 64
Iterations

Useful iterations: 3 (32.0ms)

IterNodesCost
026284
144268
285244
3162232
4407232
51333232
done5000232

prune380.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (fma (log y) x (- z)))
0.1b
(fma (log y) x (- z))
0.1b
(fma (log y) x (- z))
0.3b
(* (sqrt (fma (log y) x (- z))) (sqrt (fma (log y) x (- z))))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
21×sqrt-prod
20×pow1
13×add-cube-cbrt *-un-lft-identity
9×sqrt-pow1 pow1/2
8×swap-sqr
6×add-exp-log associate-*r* associate-*l* add-cbrt-cube
5×pow-prod-up
4×expm1-log1p-u log1p-expm1-u add-log-exp unswap-sqr
3×pow-prod-down pow-sqr
2×fma-udef
1×pow2 rem-sqrt-square pow-plus sqrt-unprod prod-exp rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 86
Calls
4 calls:
7.0ms
(sqrt (fma (log y) x (- z)))
0.0ms
(fma (log y) x (- z))
0.0ms
(fma (log y) x (- z))
14.0ms
(* (sqrt (fma (log y) x (- z))) (sqrt (fma (log y) x (- z))))

series593.0ms

Counts
4 → 12
Calls
4 calls:
214.0ms
(sqrt (fma (log y) x (- z)))
134.0ms
(fma (log y) x (- z))
129.0ms
(fma (log y) x (- z))
116.0ms
(* (sqrt (fma (log y) x (- z))) (sqrt (fma (log y) x (- z))))

simplify2.5s

Counts
98 → 98
Iterations

Useful iterations: done (2.5s)

IterNodesCost
01191459
1260998
2694940
32366843
done5000813

prune417.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0b

regimes2.0ms