Details

Time bar (total: 26.3s)

sample374.0ms

Algorithm
intervals
Results
220.0ms1715×body80nan
32.0ms257×body80valid

simplify7.6s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01516
12716
25916
314716
432616
568116
6121316
7175016
8207316
9207616
done207616

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (log (+ x y)) (log z)) t)
0.1b
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
0.1b
(* (- a 0.5) (log t))
0.7b
(+ (log (+ x y)) (log z))

rewrite541.0ms

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity
19×log-prod
18×add-sqr-sqrt
15×pow1
14×add-log-exp
12×add-cube-cbrt
9×associate-+r+ log-pow distribute-lft-out
7×associate-+l+
6×add-exp-log distribute-rgt-in flip3-- distribute-lft-in associate-*l/ sum-log add-cbrt-cube flip-- distribute-lft-out--
5×associate-+l- associate-*l*
4×log-div flip3-+ diff-log associate-*r* frac-add flip-+
2×+-commutative associate--l- sub-neg associate--l+ difference-of-squares
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 102
Calls
4 calls:
117.0ms
(- (+ (log (+ x y)) (log z)) t)
343.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
48.0ms
(* (- a 0.5) (log t))
26.0ms
(+ (log (+ x y)) (log z))

series858.0ms

Counts
4 → 12
Calls
4 calls:
281.0ms
(- (+ (log (+ x y)) (log z)) t)
376.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
108.0ms
(* (- a 0.5) (log t))
93.0ms
(+ (log (+ x y)) (log z))

simplify1.5s

Counts
114 → 114
Iterations

Useful iterations: done (1.5s)

IterNodesCost
02391824
16171724
221301617
done50021584

prune644.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (log z) t)
0.1b
(+ (- (log z) t) (* (- a 0.5) (log t)))
0.1b
(* (- a 0.5) (log t))
0.2b
(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t))))

rewrite231.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
22×log-prod
19×add-sqr-sqrt
14×add-log-exp
13×add-cube-cbrt
9×pow1 associate-+l+
7×associate-+r+ sum-log
6×add-exp-log distribute-rgt-in flip3-- distribute-lft-in associate-*l/ associate--l+ add-cbrt-cube flip--
5×associate-*l*
4×associate-+l- associate-*r* frac-add
3×flip3-+ diff-log log-pow flip-+ distribute-lft-out distribute-lft-out--
2×+-commutative sub-neg log-div difference-of-squares
1×associate-+r- pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 98
Calls
4 calls:
10.0ms
(- (log z) t)
50.0ms
(+ (- (log z) t) (* (- a 0.5) (log t)))
26.0ms
(* (- a 0.5) (log t))
139.0ms
(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t))))

series655.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(- (log z) t)
138.0ms
(+ (- (log z) t) (* (- a 0.5) (log t)))
114.0ms
(* (- a 0.5) (log t))
312.0ms
(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t))))

simplify1.4s

Counts
110 → 110
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02391697
16431595
221781497
done50001479

prune657.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.2b
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (* 2 (log (cbrt t))) (- a 0.5))) (* (- a 0.5) (log (cbrt t))))
0.6b
(cbrt t)
0.6b
(cbrt t)
0.7b
(+ (log (+ x y)) (log z))

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
20×frac-add
19×log-prod
18×*-un-lft-identity
16×add-log-exp
15×associate-+r+
14×flip3-- flip--
12×cbrt-prod add-sqr-sqrt add-cube-cbrt associate-*l/
9×sum-log
8×pow1 associate-*r/
6×distribute-rgt-in distribute-lft-in
5×associate-+l+ flip3-+ flip-+ distribute-lft-out
4×add-exp-log associate-+l- log-pow add-cbrt-cube
2×+-commutative log-div pow1/3 diff-log
Counts
4 → 86
Calls
4 calls:
1.3s
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (* 2 (log (cbrt t))) (- a 0.5))) (* (- a 0.5) (log (cbrt t))))
1.0ms
(cbrt t)
1.0ms
(cbrt t)
18.0ms
(+ (log (+ x y)) (log z))

series1.2s

Counts
4 → 12
Calls
4 calls:
541.0ms
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (* 2 (log (cbrt t))) (- a 0.5))) (* (- a 0.5) (log (cbrt t))))
239.0ms
(cbrt t)
303.0ms
(cbrt t)
124.0ms
(+ (log (+ x y)) (log z))

simplify2.5s

Counts
98 → 98
Iterations

Useful iterations: done (2.5s)

IterNodesCost
02873156
19552986
242282719
done50002700

prune800.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize74.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt t))
0.6b
(cbrt (cbrt t))
0.6b
(cbrt (cbrt t))
0.7b
(+ (log (+ x y)) (log z))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
27×cbrt-prod
18×*-un-lft-identity
12×add-sqr-sqrt add-cube-cbrt
8×pow1
7×log-prod
5×distribute-lft-out
4×add-exp-log associate-+l+ log-pow add-cbrt-cube add-log-exp
3×associate-+r+ pow1/3
2×associate-+l- log-div flip3-+ flip-+
1×+-commutative sum-log
Counts
4 → 66
Calls
4 calls:
3.0ms
(cbrt (cbrt t))
14.0ms
(cbrt (cbrt t))
3.0ms
(cbrt (cbrt t))
27.0ms
(+ (log (+ x y)) (log z))

series1.8s

Counts
4 → 12
Calls
4 calls:
840.0ms
(cbrt (cbrt t))
425.0ms
(cbrt (cbrt t))
414.0ms
(cbrt (cbrt t))
116.0ms
(+ (log (+ x y)) (log z))

simplify3.4s

Counts
78 → 78
Iterations

Useful iterations: 3 (284.0ms)

IterNodesCost
0102600
1202577
2385536
3832525
42273525
done5000525

prune588.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

regimes3.0ms