Details

sample224.0ms

Algorithm

intervals

Results

79.0ms	1524×	body	80	nan
33.0ms	525×	body	80	valid

simplify54.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	32	10
1	65	10
2	181	8
3	522	8
4	2203	8
5	5002	8
done	5002	8

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- t 1.0) (log a))
0.3b	(* y (log z))
1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.2b	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite278.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
15×	`add-cube-cbrt`
13×	`add-cbrt-cube`
12×	`add-exp-log` `log-prod`
10×	`pow1` `add-log-exp`
8×	`associate-r` `associate-l`
6×	`distribute-rgt-in` `distribute-lft-in`
5×	`exp-prod`
3×	`times-frac` `exp-sum` `prod-exp` `associate-/r*` `cbrt-unprod` `rem-exp-log`
2×	`cbrt-undiv` `exp-diff` `diff-log` `div-exp` `pow-prod-down` `associate-l/` `log-pow` `-commutative` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
1×	`sub-neg` `flip3--` `frac-2neg` `associate-r/` `associate--l+` `clear-num` `sum-log` `flip--` `div-inv` `associate-/l/` `associate-/l`

Counts

4 → 95

Calls

4 calls:

23.0ms	(* (- t 1.0) (log a))
9.0ms	(* y (log z))
71.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
172.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series432.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(* (- t 1.0) (log a))
38.0ms	(* y (log z))
135.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
195.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify52.0ms

Counts

107 → 107

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	493	869
1	2033	715
2	5001	683
done	5001	683

prune367.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))
0.2b	(* (log (/ 1 a)) t)
0.3b	(* y (log (/ 1 z)))
6.2b	(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))

rewrite414.0ms

Algorithm

rewrite-expression-head

Rules

3067×	`times-frac`
1238×	`add-sqr-sqrt`
1234×	`add-cube-cbrt` `*-un-lft-identity`
728×	`unpow-prod-down`
239×	`exp-sum`
146×	`div-inv`
72×	`associate-/l*`
56×	`sqr-pow`
43×	`add-exp-log`
37×	`div-exp`
26×	`log-prod`
20×	`add-cbrt-cube`
13×	`distribute-rgt-in` `distribute-lft-in` `associate-/r*`
12×	`pow1`
10×	`add-log-exp`
9×	`associate-r` `associate-l`
8×	`cbrt-undiv` `pow-exp`
6×	`log-pow`
3×	`exp-prod` `sum-log` `rem-exp-log`
2×	`pow-to-exp` `rec-exp` `pow-flip` `1-exp` `log-rec` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `inv-pow` `unswap-sqr`
1×	`distribute-lft-neg-out` `frac-2neg` `clear-num` `associate-/r/` `distribute-rgt-neg-out` `associate-/l/`

Counts

4 → 1135

Calls

4 calls:

77.0ms	(exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))
13.0ms	(* (log (/ 1 a)) t)
14.0ms	(* y (log (/ 1 z)))
180.0ms	(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))

series757.0ms

Counts

4 → 12

Calls

4 calls:

97.0ms	(exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))
62.0ms	(* (log (/ 1 a)) t)
47.0ms	(* y (log (/ 1 z)))
552.0ms	(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))

simplify272.0ms

Counts

1147 → 1147

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5001	32428
done	5001	32428

prune5.8s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (/ (pow (/ (sqrt 1) a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ 1 x))
0.2b	(* (log (/ 1 a)) t)
0.3b	(* y (log (/ 1 z)))
1.2b	(* (/ (/ (pow (/ (sqrt 1) 1) 1.0) 1) y) (/ (/ (pow (/ (sqrt 1) a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ 1 x)))

rewrite5.1s

Algorithm

rewrite-expression-head

Rules

12491×	`times-frac`
6553×	`add-sqr-sqrt`
4691×	`*-un-lft-identity`
4073×	`add-cube-cbrt`
3122×	`unpow-prod-down`
1418×	`associate-r`
1349×	`sqrt-prod`
1193×	`add-exp-log`
1175×	`div-exp`
702×	`exp-sum`
442×	`unswap-sqr`
369×	`div-inv`
259×	`associate-l`
254×	`prod-exp`
230×	`pow-exp`
221×	`sqr-pow`
212×	`1-exp`
108×	`associate-/l*`
94×	`pow-to-exp`
89×	`add-cbrt-cube`
65×	`rec-exp`
47×	`cbrt-undiv`
26×	`log-prod`
17×	`cbrt-unprod`
14×	`pow1`
13×	`distribute-rgt-in` `distribute-lft-in` `associate-/r*`
6×	`log-pow`
4×	`add-log-exp`
3×	`pow-prod-down` `*-commutative`
2×	`pow-flip` `log-rec` `associate-/r/` `inv-pow`
1×	`distribute-lft-neg-out` `frac-times` `frac-2neg` `associate-r/` `associate-l/` `clear-num` `distribute-rgt-neg-out` `associate-/l/`

Counts

4 → 4009

Calls

4 calls:

200.0ms	(/ (/ (pow (/ (sqrt 1) a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ 1 x))
15.0ms	(* (log (/ 1 a)) t)
15.0ms	(* y (log (/ 1 z)))
4.2s	(* (/ (/ (pow (/ (sqrt 1) 1) 1.0) 1) y) (/ (/ (pow (/ (sqrt 1) a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ 1 x)))

series1.2s

Counts

4 → 12

Calls

4 calls:

563.0ms	(/ (/ (pow (/ (sqrt 1) a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ 1 x))
68.0ms	(* (log (/ 1 a)) t)
39.0ms	(* y (log (/ 1 z)))
548.0ms	(* (/ (/ (pow (/ (sqrt 1) 1) 1.0) 1) y) (/ (/ (pow (/ (sqrt 1) a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ 1 x)))

simplify1.0s

Counts

4021 → 4021

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5001	123548
done	5001	123548

prune22.0s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt a)
0.5b	(cbrt a)
0.5b	(cbrt a)
1.2b	(* (/ (/ (pow (/ (sqrt 1) 1) 1.0) 1) y) (/ (/ (pow (/ 1 (* (cbrt a) (cbrt a))) 1.0) 1) (/ (/ 1 x) (/ (pow (/ (sqrt 1) (cbrt a)) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))))

rewrite4.4m

Algorithm

rewrite-expression-head

Rules

539495×	`times-frac`
215285×	`add-sqr-sqrt`
182227×	`*-un-lft-identity`
167869×	`add-cube-cbrt`
139531×	`unpow-prod-down`
86770×	`associate-r`
40089×	`sqrt-prod`
36621×	`cbrt-prod`
32740×	`div-exp`
30776×	`add-exp-log`
21164×	`exp-sum`
18496×	`div-inv`
11552×	`sqr-pow`
7752×	`pow-exp`
7216×	`1-exp`
6840×	`unswap-sqr`
6312×	`prod-exp`
2216×	`pow-to-exp`
2148×	`rec-exp`
250×	`associate-l`
196×	`add-cbrt-cube`
126×	`cbrt-undiv`
38×	`associate-/r/`
33×	`cbrt-unprod`
6×	`pow1`
4×	`add-log-exp`
3×	`pow1/3`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 98738

Calls

4 calls:

1.0ms	(cbrt a)
1.0ms	(cbrt a)
1.0ms	(cbrt a)
3.9m	(* (/ (/ (pow (/ (sqrt 1) 1) 1.0) 1) y) (/ (/ (pow (/ 1 (* (cbrt a) (cbrt a))) 1.0) 1) (/ (/ 1 x) (/ (pow (/ (sqrt 1) (cbrt a)) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))))

series1.2s

Counts

4 → 12

Calls

4 calls:

184.0ms	(cbrt a)
182.0ms	(cbrt a)
197.0ms	(cbrt a)
601.0ms	(* (/ (/ (pow (/ (sqrt 1) 1) 1.0) 1) y) (/ (/ (pow (/ 1 (* (cbrt a) (cbrt a))) 1.0) 1) (/ (/ 1 x) (/ (pow (/ (sqrt 1) (cbrt a)) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))))

simplify31.6s

Counts

98750 → 98750

Iterations

Useful iterations: 0 (2.7s)

Iter	Nodes	Cost
0	138116	3667456
done	138116	3667456

Details

sample224.0ms

simplify54.0ms

prune10.0ms

localize16.0ms

rewrite278.0ms

series432.0ms

simplify52.0ms

prune367.0ms

localize20.0ms

rewrite414.0ms

series757.0ms

simplify272.0ms

prune5.8s

localize26.0ms

rewrite5.1s

series1.2s

simplify1.0s

prune22.0s

localize39.0ms

rewrite4.4m

series1.2s

simplify31.6s

prune4.4m