Details

Time bar (total: 10.0m)

sample182.0ms

Algorithm
intervals
Results
85.0ms784×body80nan
25.0ms205×body80valid
20.0ms24×body320valid
10.0ms17×body640valid
5.0ms6×body1280valid
1.0ms6×body160valid

simplify3.9s

Counts
1 → 1
Iterations
IterNodes
done5000
72731
61183
5592
4287
3116
249
126
014

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.1b

localize52.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
66×*-un-lft-identity
37×add-sqr-sqrt log-prod
23×distribute-lft-out--
22×associate-*l*
18×associate--l+
17×add-cube-cbrt
16×distribute-rgt-in distribute-lft-in
11×pow1
10×associate-+r+
9×add-exp-log distribute-lft-out add-log-exp
8×add-cbrt-cube associate-*r* difference-of-squares
6×associate-+l+
4×flip3-- associate-*l/ insert-posit16 flip--
3×log-pow
2×log-div diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×+-commutative sum-log sub-neg rem-log-exp
Counts
4 → 124
Calls
4 calls:
1.2s
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
31.0ms
(* (- z 1.0) (log (- 1.0 y)))
33.0ms
(* (- x 1.0) (log y))
8.0ms
(log (- 1.0 y))

series425.0ms

Counts
4 → 12
Calls
4 calls:
219.0ms
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
59.0ms
(* (- z 1.0) (log (- 1.0 y)))
89.0ms
(* (- x 1.0) (log y))
58.0ms
(log (- 1.0 y))

simplify1.8s

Counts
136 → 136
Iterations
IterNodes
done5002
21570
1577
0253

prune852.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize54.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 (/ y 1.0)) (/ y 1.0))))) t)
0.0b
(* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0))))
0.0b
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0)))))
0.1b
(* (- x 1.0) (log y))

rewrite23.7s

Algorithm
rewrite-expression-head
Rules
3246×frac-times
2569×flip3-- flip--
2514×associate-*r/
2178×frac-sub
1674×associate-*l/
1468×frac-add
1386×associate-/l*
1188×associate-/r*
1109×*-un-lft-identity
851×add-sqr-sqrt
812×add-cube-cbrt
594×clear-num
396×frac-2neg un-div-inv
70×associate--l+
55×associate-*l*
51×distribute-lft-out--
36×log-prod
30×distribute-rgt-in distribute-lft-in
29×associate-*r*
28×associate-+r+
18×distribute-lft-out
15×pow1
13×sub-neg
12×associate-+l+ unswap-sqr
11×add-log-exp
10×difference-of-squares
8×add-cbrt-cube add-exp-log
7×log-pow
5×times-frac
4×insert-posit16
2×+-commutative sum-log diff-log pow-prod-down prod-exp *-commutative cbrt-unprod
1×flip3-+ flip-+
Counts
4 → 2377
Calls
4 calls:
19.8s
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0))))) t)
943.0ms
(* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0))))
2.6s
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0)))))
46.0ms
(* (- x 1.0) (log y))

series583.0ms

Counts
4 → 12
Calls
4 calls:
315.0ms
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0))))) t)
60.0ms
(* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0))))
145.0ms
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0)))))
62.0ms
(* (- x 1.0) (log y))

simplify8.3s

Counts
2389 → 2389
Iterations
IterNodes
done5343
05343

prune26.7s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize104.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (cbrt (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0))))) (cbrt (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0))))))
0.6b
(cbrt (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0)))))
0.6b
(cbrt (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0)))))
0.6b
(cbrt (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0)))))

rewrite4.8m

Algorithm
rewrite-expression-head
Rules
2132542×frac-times
1235108×associate-*r/
1081182×cbrt-div
1069398×frac-sub
900003×flip3-- flip--
680526×associate-/l*
583308×associate-/r*
487511×*-un-lft-identity
389156×add-sqr-sqrt
388901×add-cube-cbrt
291654×clear-num
194436×frac-2neg un-div-inv
100898×associate-*l/
1010×distribute-lft-out--
859×associate-*l*
756×cbrt-prod
694×associate-*r*
285×swap-sqr
233×pow1
222×log-pow
92×unswap-sqr
56×difference-of-squares
35×times-frac
9×pow1/3
8×add-cbrt-cube *-commutative
6×add-exp-log
4×cbrt-unprod insert-posit16 add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp
Counts
4 → 542955
Calls
4 calls:
23.3s
(* (cbrt (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0))))) (cbrt (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0))))))
1.1s
(cbrt (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0)))))
1.1s
(cbrt (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0)))))
1.1s
(cbrt (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0)))))

series1.7s

Counts
4 → 12
Calls
4 calls:
598.0ms
(* (cbrt (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0))))) (cbrt (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0))))))
359.0ms
(cbrt (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0)))))
339.0ms
(cbrt (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0)))))
401.0ms
(cbrt (* (- z 1.0) (- (- (log 1.0) (* 1.0 y)) (* (* 1/2 (/ y 1.0)) (/ y 1.0)))))

simplify4.1m