Details

Time bar (total: 30.9s)

sample140.0ms

Algorithm
intervals
Results
46.0ms326×body80nan
31.0ms292×body80valid

simplify5.7s

Counts
1 → 1
Iterations
IterNodes
done5002
52166
4748
3250
284
130
015

prune30.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize112.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.2s

Algorithm
rewrite-expression-head
Rules
27×add-log-exp
18×add-sqr-sqrt
14×*-un-lft-identity
12×log-prod add-cube-cbrt
10×sum-log
9×pow1
8×add-cbrt-cube associate-*l* add-exp-log
7×associate-*r*
6×distribute-rgt-in distribute-lft-in flip3-- diff-log associate-*l/ flip-- associate--r+
4×frac-add insert-posit16
3×associate-+l+
2×sub-neg pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod unswap-sqr
1×+-commutative flip3-+ log-pow associate-+l- flip-+ distribute-lft-out-- difference-of-squares
Counts
4 → 94
Calls
4 calls:
1.6s
(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
64.0ms
(* (- a 0.5) b)
457.0ms
(- (+ (+ x y) z) (* z (log t)))
37.0ms
(* z (log t))

series526.0ms

Counts
4 → 12
Calls
4 calls:
311.0ms
(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
44.0ms
(* (- a 0.5) b)
77.0ms
(- (+ (+ x y) z) (* z (log t)))
94.0ms
(* z (log t))

simplify4.4s

Counts
106 → 106
Iterations
IterNodes
done5003
22093
1558
0208

prune2.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize109.0ms

Local error

Found 4 expressions with local error:

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

rewrite856.0ms

Algorithm
rewrite-expression-head
Rules
20×add-log-exp
18×add-sqr-sqrt
14×*-un-lft-identity
12×log-prod add-cube-cbrt
9×pow1 sum-log
8×add-cbrt-cube associate-*l* add-exp-log
7×associate-*r*
6×distribute-rgt-in distribute-lft-in associate-*l/ associate--r+
4×flip3-- frac-add insert-posit16 flip--
3×flip3-+ flip-+
2×diff-log pow-prod-down prod-exp *-commutative associate-+l- cbrt-unprod unswap-sqr
1×+-commutative associate-+l+ associate-+r- sub-neg log-pow distribute-lft-out-- difference-of-squares
Counts
4 → 89
Calls
4 calls:
725.0ms
(+ (+ x (+ (- z (* z (log t))) y)) (* (- a 0.5) b))
81.0ms
(* (- a 0.5) b)
16.0ms
(- z (* z (log t)))
29.0ms
(* z (log t))

series625.0ms

Counts
4 → 12
Calls
4 calls:
356.0ms
(+ (+ x (+ (- z (* z (log t))) y)) (* (- a 0.5) b))
68.0ms
(* (- a 0.5) b)
117.0ms
(- z (* z (log t)))
84.0ms
(* z (log t))

simplify4.4s

Counts
101 → 101
Iterations
IterNodes
done5002
22031
1577
0213

prune1.9s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize180.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ x (+ (* z (- 1 (log t))) y)) (* (- a 0.5) b))
0.0b
(* (- a 0.5) b)
0.0b
(- 1 (log t))
0.3b
(* z (- 1 (log t)))

rewrite790.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
19×*-un-lft-identity
14×add-log-exp
10×pow1 associate-*r*
9×add-cube-cbrt
8×add-cbrt-cube associate-*l* add-exp-log
6×sum-log associate-*l/
5×flip3-- flip-- distribute-lft-out-- difference-of-squares
4×frac-add insert-posit16
3×log-prod sub-neg flip3-+ flip-+ associate--r+
2×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp associate-*r/ log-pow *-commutative cbrt-unprod unswap-sqr
1×+-commutative associate-+l+ diff-log
Counts
4 → 91
Calls
4 calls:
557.0ms
(+ (+ x (+ (* z (- 1 (log t))) y)) (* (- a 0.5) b))
91.0ms
(* (- a 0.5) b)
29.0ms
(- 1 (log t))
108.0ms
(* z (- 1 (log t)))

series732.0ms

Counts
4 → 12
Calls
4 calls:
344.0ms
(+ (+ x (+ (* z (- 1 (log t))) y)) (* (- a 0.5) b))
65.0ms
(* (- a 0.5) b)
252.0ms
(- 1 (log t))
70.0ms
(* z (- 1 (log t)))

simplify4.2s

Counts
103 → 103
Iterations
IterNodes
done5002
21901
1554
0198

prune1.8s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize24.0ms