Details

Time bar (total: 12.0s)

sample39.0ms

Algorithm
intervals
Results
20.0ms345×body80valid

simplify102.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
089
1157
2347
3717
4977
51037
done1037

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 8.1b

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b
(* y (- x z))
7.7b
(* (* y (- x z)) t)

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log add-sqr-sqrt add-cbrt-cube
8×associate-*r*
7×*-un-lft-identity
5×add-cube-cbrt
4×associate-*r/ associate-*l* pow-prod-down prod-exp cbrt-unprod
2×distribute-rgt-in sub-neg flip3-- distribute-lft-in associate-*l/ *-commutative flip-- add-log-exp
1×distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 46
Calls
2 calls:
20.0ms
(* y (- x z))
66.0ms
(* (* y (- x z)) t)

series134.0ms

Counts
2 → 6
Calls
2 calls:
54.0ms
(* y (- x z))
80.0ms
(* (* y (- x z)) t)

simplify3.4s

Counts
52 → 52
Iterations

Useful iterations: 2 (87.0ms)

IterNodesCost
081452
1192428
2681366
33642366
done5000366

prune170.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (- x z) t)
7.5b
(* y (* (- x z) t))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log add-sqr-sqrt add-cbrt-cube
8×associate-*l*
7×*-un-lft-identity
5×add-cube-cbrt
4×associate-*r* pow-prod-down associate-*l/ prod-exp cbrt-unprod
2×flip3-- associate-*r/ *-commutative flip-- add-log-exp
1×distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 42
Calls
2 calls:
28.0ms
(* (- x z) t)
66.0ms
(* y (* (- x z) t))

series112.0ms

Counts
2 → 6
Calls
2 calls:
58.0ms
(* (- x z) t)
54.0ms
(* y (* (- x z) t))

simplify2.8s

Counts
48 → 48
Iterations

Useful iterations: 2 (124.0ms)

IterNodesCost
077417
1182403
2680337
33374337
done5002337

prune252.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (- x z) y)
7.7b
(* (* 1 (* (- x z) y)) t)

rewrite628.0ms

Algorithm
rewrite-expression-head
Rules
18×add-exp-log
13×pow1 add-cbrt-cube
12×prod-exp
9×add-sqr-sqrt
7×*-un-lft-identity pow-prod-down cbrt-unprod
6×associate-*r* associate-*l* associate-*l/
5×add-cube-cbrt
2×flip3-- 1-exp associate-*r/ *-commutative flip-- add-log-exp
1×distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 47
Calls
2 calls:
430.0ms
(* (- x z) y)
196.0ms
(* (* 1 (* (- x z) y)) t)

series108.0ms

Counts
2 → 6
Calls
2 calls:
47.0ms
(* (- x z) y)
60.0ms
(* (* 1 (* (- x z) y)) t)

simplify3.5s

Counts
53 → 53
Iterations

Useful iterations: 2 (133.0ms)

IterNodesCost
096546
1221458
2797380
33700380
done5001380

prune188.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt y)
0.7b
(cbrt y)
3.4b
(* (cbrt y) (* (- x z) t))
4.3b
(* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t)))

rewrite209.0ms

Algorithm
rewrite-expression-head
Rules
30×pow1 add-exp-log
18×pow-prod-down prod-exp add-cbrt-cube cbrt-unprod
9×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×associate-*l*
6×associate-*r/
4×associate-*l/ add-log-exp
2×flip3-- pow1/3 associate-*r* *-commutative flip--
Counts
4 → 75
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
59.0ms
(* (cbrt y) (* (- x z) t))
145.0ms
(* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t)))

series0.0ms