Details

Time bar (total: 24.7s)

sample278.0ms

Algorithm
intervals
Results
167.0ms1715×body80nan
24.0ms257×body80valid

simplify7.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

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

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

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

rewrite373.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:
71.0ms
(- (+ (log (+ x y)) (log z)) t)
244.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
24.0ms
(* (- a 0.5) (log t))
27.0ms
(+ (log (+ x y)) (log z))

series798.0ms

Counts
4 → 12
Calls
4 calls:
302.0ms
(- (+ (log (+ x y)) (log z)) t)
312.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
85.0ms
(* (- a 0.5) (log t))
97.0ms
(+ (log (+ x y)) (log z))

simplify1.3s

Counts
114 → 114
Iterations

Useful iterations: done (1.3s)

IterNodesCost
02391824
16171724
221301617
done50021584

prune576.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

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

rewrite197.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:
9.0ms
(- (log z) t)
43.0ms
(+ (- (log z) t) (* (- a 0.5) (log t)))
25.0ms
(* (- a 0.5) (log t))
116.0ms
(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t))))

series601.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(- (log z) t)
134.0ms
(+ (- (log z) t) (* (- a 0.5) (log t)))
80.0ms
(* (- a 0.5) (log t))
289.0ms
(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t))))

simplify1.8s

Counts
110 → 110
Iterations

Useful iterations: done (1.8s)

IterNodesCost
02391697
16431595
221781497
done50001479

prune592.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize64.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)
13.0ms
(+ (log (+ x y)) (log z))

series1.3s

Counts
4 → 12
Calls
4 calls:
590.0ms
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (* 2 (log (cbrt t))) (- a 0.5))) (* (- a 0.5) (log (cbrt t))))
317.0ms
(cbrt t)
269.0ms
(cbrt t)
107.0ms
(+ (log (+ x y)) (log z))

simplify2.3s

Counts
98 → 98
Iterations

Useful iterations: done (2.3s)

IterNodesCost
02873156
19552986
242282719
done50002700

prune776.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

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

rewrite19.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:
1.0ms
(cbrt (cbrt t))
1.0ms
(cbrt (cbrt t))
1.0ms
(cbrt (cbrt t))
13.0ms
(+ (log (+ x y)) (log z))

series1.3s

Counts
4 → 12
Calls
4 calls:
410.0ms
(cbrt (cbrt t))
405.0ms
(cbrt (cbrt t))
405.0ms
(cbrt (cbrt t))
127.0ms
(+ (log (+ x y)) (log z))

simplify3.3s

Counts
78 → 78
Iterations

Useful iterations: 3 (268.0ms)

IterNodesCost
0102600
1202577
2385536
3832525
42273525
done5000525

prune642.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

regimes5.0ms