Details

Time bar (total: 14.4s)

sample34.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
9.0ms292×body80nan

simplify184.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
1148
2258
3398
4458
5538
6738
7948
81018
91098
101138
111158
121168
done1168

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

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

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
20×associate--l+
18×log-prod
15×add-sqr-sqrt
13×*-un-lft-identity
11×add-cube-cbrt
10×add-log-exp
9×distribute-rgt-in distribute-lft-in
6×pow1
5×add-exp-log add-cbrt-cube
4×diff-log associate-*r*
3×sub-neg associate-*l*
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 → 67
Calls
3 calls:
53.0ms
(- (- (* x (log y)) z) y)
9.0ms
(- (* x (log y)) z)
14.0ms
(* x (log y))

series193.0ms

Counts
3 → 9
Calls
3 calls:
45.0ms
(- (- (* x (log y)) z) y)
94.0ms
(- (* x (log y)) z)
54.0ms
(* x (log y))

simplify1.4s

Counts
76 → 76
Iterations

Useful iterations: 3 (541.0ms)

IterNodesCost
0126705
1258666
2545629
31407596
done5001596

prune229.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
12×pow1
11×add-exp-log add-sqr-sqrt add-cbrt-cube
9×add-cube-cbrt *-un-lft-identity
6×cbrt-prod associate-*r* associate-*l*
4×pow-prod-down prod-exp cbrt-unprod add-log-exp
3×pow1/3
2×log-pow *-commutative
1×unswap-sqr
Counts
4 → 60
Calls
4 calls:
40.0ms
(* (* 2 (log (cbrt y))) x)
22.0ms
(* (log (cbrt y)) x)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.1s

Counts
4 → 12
Calls
4 calls:
194.0ms
(* (* 2 (log (cbrt y))) x)
218.0ms
(* (log (cbrt y)) x)
327.0ms
(cbrt y)
324.0ms
(cbrt y)

simplify3.6s

Counts
72 → 72
Iterations

Useful iterations: 3 (1.8s)

IterNodesCost
088525
1195495
2720409
33047397
done5000397

prune394.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

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

rewrite4.0ms

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

series1.6s

Counts
4 → 12
Calls
4 calls:
283.0ms
(cbrt y)
655.0ms
(cbrt y)
347.0ms
(cbrt y)
287.0ms
(cbrt y)

simplify2.1s

Counts
56 → 56
Iterations

Useful iterations: 3 (36.0ms)

IterNodesCost
024260
142244
283220
3167208
4388208
51317208
done5000208

prune351.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
26×pow1
21×add-cube-cbrt *-un-lft-identity sqrt-prod
14×sqrt-div associate-*r*
12×log-prod associate-*l*
10×add-exp-log add-cbrt-cube
9×sqrt-pow1 pow1/2
8×swap-sqr
7×flip3-- flip--
6×distribute-rgt-in distribute-lft-in unswap-sqr
5×pow-prod-down pow-prod-up
4×frac-times add-log-exp
3×prod-exp pow-sqr *-commutative cbrt-unprod
2×associate-*r/ associate-*l/ log-pow
1×pow2 rem-sqrt-square pow-plus sqrt-unprod rem-square-sqrt
Counts
4 → 122
Calls
4 calls:
11.0ms
(sqrt (- (* x (log y)) z))
10.0ms
(* x (log y))
8.0ms
(* x (log y))
71.0ms
(* (sqrt (- (* x (log y)) z)) (sqrt (- (* x (log y)) z)))

series386.0ms

Counts
4 → 12
Calls
4 calls:
193.0ms
(sqrt (- (* x (log y)) z))
60.0ms
(* x (log y))
56.0ms
(* x (log y))
76.0ms
(* (sqrt (- (* x (log y)) z)) (sqrt (- (* x (log y)) z)))

simplify2.2s

Counts
134 → 134
Iterations

Useful iterations: done (2.2s)

IterNodesCost
01781940
13621387
29201281
327661206
done50021180

prune379.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0b

regimes2.0ms