Details

Time bar (total: 45.9s)

sample196.0ms

Algorithm
intervals
Results
61.0ms784×body80nan
16.0ms185×body80valid
15.0ms33×body640valid
8.0ms7×body1280valid
6.0ms21×body320valid
2.0ms13×body160valid

simplify4.2s

Counts
1 → 1
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
014425
127400
257400
3135400
4401400
51388400
64417400
done5000400

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.2b

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (fma (- x 1.0) (log y) (* (- z 1.0) (log (- 1.0 y)))) t)
0.1b
(fma (- x 1.0) (log y) (* (- z 1.0) (log (- 1.0 y))))
6.8b
(log (- 1.0 y))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt *-un-lft-identity
11×add-cube-cbrt
9×prod-diff
5×log-prod add-log-exp
4×pow1 add-exp-log
3×expm1-log1p-u add-cbrt-cube fma-neg log1p-expm1-u
2×log-div flip3-- fma-udef flip-- distribute-lft-out-- difference-of-squares
1×sub-neg diff-log rem-log-exp associate--l+ log-pow
Counts
3 → 57
Calls
3 calls:
6.0ms
(- (fma (- x 1.0) (log y) (* (- z 1.0) (log (- 1.0 y)))) t)
0.0ms
(fma (- x 1.0) (log y) (* (- z 1.0) (log (- 1.0 y))))
5.0ms
(log (- 1.0 y))

series443.0ms

Counts
3 → 9
Calls
3 calls:
230.0ms
(- (fma (- x 1.0) (log y) (* (- z 1.0) (log (- 1.0 y)))) t)
156.0ms
(fma (- x 1.0) (log y) (* (- z 1.0) (log (- 1.0 y))))
57.0ms
(log (- 1.0 y))

simplify1.4s

Counts
66 → 66
Iterations

Useful iterations: done (1.4s)

IterNodesCost
015929042
137026113
2113424169
done500024019

prune590.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize54.0ms

Local error

Found 3 expressions with local error:

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

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt
35×*-un-lft-identity
33×prod-diff
28×add-cube-cbrt
17×distribute-rgt-in distribute-lft-in
12×pow1
7×flip3-- associate--l+ log-pow flip--
6×log-prod associate-*r*
5×add-cbrt-cube associate-*l* add-exp-log add-log-exp
4×frac-times distribute-lft-out--
3×expm1-log1p-u sub-neg fma-neg log1p-expm1-u difference-of-squares
2×associate-*l/ associate-*r/ fma-udef
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 106
Calls
3 calls:
40.0ms
(* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))
19.0ms
(- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) t)
1.0ms
(fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y)))))

series536.0ms

Counts
3 → 9
Calls
3 calls:
105.0ms
(* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))
291.0ms
(- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) t)
139.0ms
(fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y)))))

simplify3.4s

Counts
115 → 115
Iterations

Useful iterations: done (3.3s)

IterNodesCost
023678084
155371095
2285064261
done500056930

prune723.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

localize55.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (fma (- x 1.0) (log y) (* (* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y)))))) t)
0.1b
(fma (- x 1.0) (log y) (* (* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))))
0.2b
(* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y)))))
0.4b
(* (* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y)))))

rewrite248.0ms

Algorithm
rewrite-expression-head
Rules
102×sqrt-prod
93×prod-diff
80×add-sqr-sqrt *-un-lft-identity
66×add-cube-cbrt
45×distribute-rgt-in distribute-lft-in
32×frac-times
25×pow1
22×flip3-- flip--
16×associate-*r* associate-*l/
14×log-pow
12×flip3-+ flip-+
11×add-cbrt-cube add-exp-log
10×associate-*r/
6×associate-*l* add-log-exp difference-of-squares
5×distribute-lft-out--
4×expm1-log1p-u pow-prod-down prod-exp cbrt-unprod log1p-expm1-u
3×sub-neg fma-neg distribute-lft-out
2×*-commutative fma-udef
1×diff-log associate--l+ unswap-sqr
Counts
4 → 215
Calls
4 calls:
5.0ms
(- (fma (- x 1.0) (log y) (* (* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y)))))) t)
0.0ms
(fma (- x 1.0) (log y) (* (* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))))
74.0ms
(* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y)))))
156.0ms
(* (* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y)))))

series1.4s

Counts
4 → 12
Calls
4 calls:
452.0ms
(- (fma (- x 1.0) (log y) (* (* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y)))))) t)
406.0ms
(fma (- x 1.0) (log y) (* (* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))))
214.0ms
(* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y)))))
325.0ms
(* (* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y)))))

simplify2.4s

Counts
227 → 227
Iterations

Useful iterations: done (2.3s)

IterNodesCost
0389238259
11250210827
done5001197676

prune1.3s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.1b

localize53.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) t)) (cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) t)))
0.5b
(cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) t))
0.5b
(cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) t))
0.5b
(cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) t))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
43×cbrt-prod
37×add-sqr-sqrt
35×*-un-lft-identity
18×cbrt-div
15×add-cube-cbrt
11×pow1
10×swap-sqr
9×flip3-- pow1/3 flip-- distribute-lft-out--
8×associate-*r* associate-*l*
7×difference-of-squares
6×add-exp-log
4×expm1-log1p-u frac-times add-cbrt-cube log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 109
Calls
4 calls:
38.0ms
(* (cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) t)) (cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) t)))
3.0ms
(cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) t))
3.0ms
(cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) t))
3.0ms
(cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) t))

series15.7s

Counts
4 → 12
Calls
4 calls:
4.5s
(* (cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) t)) (cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) t)))
3.9s
(cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) t))
3.9s
(cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) t))
3.4s
(cbrt (- (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1/2 (* (/ y 1.0) (/ y 1.0)) (* 1.0 y))))) t))

simplify5.3s

Counts
121 → 121
Iterations

Useful iterations: done (5.3s)

IterNodesCost
0257122605
1728110256
23152109701
done5001108096

prune1.0s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.1b

regimes828.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
018576
120576
done20576

end0.0ms

sample5.9s

Algorithm
intervals
Results
2.9s23912×body80nan
687.0ms5835×body80valid
423.0ms790×body640valid
301.0ms704×body320valid
224.0ms259×body1280valid
151.0ms451×body160valid