Details

Time bar (total: 25.8s)

sample164.0ms

Algorithm
intervals
Results
73.0ms821×body80nan
15.0ms191×body80valid
13.0ms15×body1280valid
10.0ms25×body640valid
5.0ms20×body320valid
1.0ms7×body160valid

simplify7.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01417
12617
24917
311617
424117
550617
6103917
7161917
8205317
9215817
done215817

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.7b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- z 1.0) (log (- 1.0 y)))
0.0b
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
0.1b
(* (- x 1.0) (log y))
5.6b
(log (- 1.0 y))

rewrite244.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
25×*-un-lft-identity
21×log-prod
13×add-cube-cbrt
11×pow1
10×associate-*l*
9×add-exp-log add-log-exp
8×distribute-rgt-in distribute-lft-in associate-*r* add-cbrt-cube
6×distribute-lft-out-- difference-of-squares
4×flip3-- associate-*l/ flip--
3×log-pow
2×log-div diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×sub-neg rem-log-exp associate--l+ sum-log
Counts
4 → 94
Calls
4 calls:
54.0ms
(* (- z 1.0) (log (- 1.0 y)))
144.0ms
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
37.0ms
(* (- x 1.0) (log y))
6.0ms
(log (- 1.0 y))

series498.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(* (- z 1.0) (log (- 1.0 y)))
275.0ms
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
92.0ms
(* (- x 1.0) (log y))
68.0ms
(log (- 1.0 y))

simplify1.2s

Counts
106 → 106
Iterations

Useful iterations: done (1.2s)

IterNodesCost
02311491
14981443
215561279
done50001253

prune524.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) t)
0.0b
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
0.0b
(* 1/2 (/ (pow y 2) (pow 1.0 2)))
0.1b
(* (- x 1.0) (log y))

rewrite239.0ms

Algorithm
rewrite-expression-head
Rules
86×add-sqr-sqrt
80×times-frac
72×associate-*r*
56×unpow-prod-down
50×*-un-lft-identity
46×add-cube-cbrt
29×add-exp-log
24×unpow2 sqr-pow
22×flip3-- associate-*l/ flip--
18×log-prod unswap-sqr
16×frac-add
11×distribute-rgt-in distribute-lft-in prod-exp add-cbrt-cube add-log-exp
10×associate-+r+
9×pow1 div-exp
8×frac-times associate-*l*
7×associate--l+
6×pow-to-exp associate-+l+ pow-exp
5×associate-*r/
3×sub-neg cbrt-unprod
2×diff-log pow-prod-down sum-log *-commutative distribute-lft-out-- difference-of-squares
1×cbrt-undiv +-commutative flip3-+ log-pow flip-+ div-inv
Counts
4 → 198
Calls
4 calls:
90.0ms
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) t)
40.0ms
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
58.0ms
(* 1/2 (/ (pow y 2) (pow 1.0 2)))
39.0ms
(* (- x 1.0) (log y))

series830.0ms

Counts
4 → 12
Calls
4 calls:
424.0ms
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) t)
245.0ms
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
72.0ms
(* 1/2 (/ (pow y 2) (pow 1.0 2)))
88.0ms
(* (- x 1.0) (log y))

simplify2.8s

Counts
210 → 210
Iterations

Useful iterations: 2 (1.1s)

IterNodesCost
04775346
112584812
249834447
done50004447

prune1.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize56.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt y) (cbrt y))
0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 73
Calls
4 calls:
23.0ms
(* (cbrt y) (cbrt y))
2.0ms
(cbrt y)
2.0ms
(cbrt y)
2.0ms
(cbrt y)

series1.3s

Counts
4 → 12
Calls
4 calls:
311.0ms
(* (cbrt y) (cbrt y))
338.0ms
(cbrt y)
329.0ms
(cbrt y)
315.0ms
(cbrt y)

simplify5.2s

Counts
85 → 85
Iterations

Useful iterations: done (5.2s)

IterNodesCost
061524
1115417
2319397
31092379
44427374
done5001364

prune702.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- x 1.0) (log y))
9.5b
(+ (* (- z 1.0) (log (+ (sqrt 1.0) (sqrt y)))) (* (log (- (sqrt 1.0) (sqrt y))) (- z 1.0)))
11.6b
(log (+ (sqrt 1.0) (sqrt y)))
12.0b
(log (- (sqrt 1.0) (sqrt y)))

rewrite151.0ms

Algorithm
rewrite-expression-head
Rules
30×log-prod *-un-lft-identity
24×add-sqr-sqrt
12×add-cube-cbrt sqrt-prod
10×distribute-rgt-in associate-+l+ distribute-lft-in
9×pow1
8×add-exp-log
6×flip3-- associate-*l/ add-cbrt-cube flip-- distribute-lft-out add-log-exp
5×associate-*l* difference-of-squares
4×log-div associate-+r+ associate-*r/ associate-*r* frac-add
3×log-pow distribute-lft-out--
2×sub-neg flip3-+ rem-log-exp flip-+
1×+-commutative pow-prod-down prod-exp sum-log *-commutative cbrt-unprod unswap-sqr
Counts
4 → 94
Calls
4 calls:
40.0ms
(* (- x 1.0) (log y))
67.0ms
(+ (* (- z 1.0) (log (+ (sqrt 1.0) (sqrt y)))) (* (log (- (sqrt 1.0) (sqrt y))) (- z 1.0)))
18.0ms
(log (+ (sqrt 1.0) (sqrt y)))
18.0ms
(log (- (sqrt 1.0) (sqrt y)))

series1.0s

Counts
4 → 12
Calls
4 calls:
109.0ms
(* (- x 1.0) (log y))
443.0ms
(+ (* (- z 1.0) (log (+ (sqrt 1.0) (sqrt y)))) (* (log (- (sqrt 1.0) (sqrt y))) (- z 1.0)))
190.0ms
(log (+ (sqrt 1.0) (sqrt y)))
278.0ms
(log (- (sqrt 1.0) (sqrt y)))

simplify1.3s

Counts
106 → 106
Iterations

Useful iterations: done (1.3s)

IterNodesCost
02512015
16231818
219521520
done50001511

prune656.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.1b

regimes24.0ms