Details

Time bar (total: 2.0m)

sample146.0ms

Algorithm
intervals
Results
38.0ms290×body80valid
23.0ms314×body80nan

simplify26.8s

Counts
1 → 1
Iterations
IterNodes
done5000
104894
92959
81681
71169
6841
5517
4239
3112
257
126
011

prune85.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize187.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (log z) (- 1.0 z))
0.1b
(fma y (+ (log z) (- 1.0 z)) (* 0.5 x))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
11×associate-+r+
10×add-sqr-sqrt add-cube-cbrt
9×prod-diff
5×pow1 add-log-exp
4×fma-def distribute-lft-out
3×associate-+l+ log-prod log-pow
2×add-exp-log expm1-log1p-u sum-log add-cbrt-cube log1p-expm1-u distribute-lft-out--
1×+-commutative associate-+r- sub-neg flip3-+ diff-log flip-+ fma-udef
Counts
2 → 47
Calls
2 calls:
52.0ms
(+ (log z) (- 1.0 z))
1.0ms
(fma y (+ (log z) (- 1.0 z)) (* 0.5 x))

series1.1s

Counts
2 → 6
Calls
2 calls:
799.0ms
(+ (log z) (- 1.0 z))
297.0ms
(fma y (+ (log z) (- 1.0 z)) (* 0.5 x))

simplify17.1s

Counts
53 → 53
Iterations
IterNodes
done5003
33053
2719
1277
0110

prune813.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize73.0ms

Local error

Found 3 expressions with local error:

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

rewrite538.0ms

Algorithm
rewrite-expression-head
Rules
29×*-un-lft-identity
15×add-sqr-sqrt
13×add-cube-cbrt
11×associate-+r+
10×pow1
9×prod-diff
8×distribute-lft-out add-log-exp
7×associate-*r*
5×add-exp-log associate-+l+ fma-def log-pow add-cbrt-cube
4×distribute-lft-out--
3×expm1-log1p-u log-prod flip3-+ associate-*l* sum-log flip-+ log1p-expm1-u
2×+-commutative distribute-rgt-in distribute-lft-in associate-*r/
1×associate-+r- sub-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 81
Calls
3 calls:
109.0ms
(+ (* y (+ (log z) (- 1.0 z))) (* 0.5 x))
173.0ms
(+ (log z) (- 1.0 z))
216.0ms
(* y (+ (log z) (- 1.0 z)))

series1.5s

Counts
3 → 9
Calls
3 calls:
418.0ms
(+ (* y (+ (log z) (- 1.0 z))) (* 0.5 x))
472.0ms
(+ (log z) (- 1.0 z))
608.0ms
(* y (+ (log z) (- 1.0 z)))

simplify5.3s

Counts
90 → 90
Iterations
IterNodes
done5014
21463
1446
0154

prune1.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize75.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma x 0.5 (fma y (- 1.0 z) (* y (log z))))
0.1b
(fma y (- 1.0 z) (* y (log z)))
0.3b
(* y (log z))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
7×add-cube-cbrt *-un-lft-identity
6×pow1 log-prod
5×add-exp-log add-cbrt-cube
4×associate-*r*
3×distribute-rgt-in expm1-log1p-u distribute-lft-in associate-*l* log1p-expm1-u add-log-exp
2×fma-udef
1×pow-prod-down prod-exp log-pow *-commutative cbrt-unprod unswap-sqr
Counts
3 → 47
Calls
3 calls:
1.0ms
(fma x 0.5 (fma y (- 1.0 z) (* y (log z))))
1.0ms
(fma y (- 1.0 z) (* y (log z)))
20.0ms
(* y (log z))

series1.5s

Counts
3 → 9
Calls
3 calls:
260.0ms
(fma x 0.5 (fma y (- 1.0 z) (* y (log z))))
612.0ms
(fma y (- 1.0 z) (* y (log z)))
655.0ms
(* y (log z))

simplify17.1s

Counts
56 → 56
Iterations
IterNodes
done5000
31761
2525
1222
0109

prune1.9s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize467.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt z) (cbrt z))
0.5b
(cbrt z)
0.5b
(cbrt z)
0.5b
(cbrt z)

rewrite61.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×expm1-log1p-u add-cbrt-cube log1p-expm1-u 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 → 81
Calls
4 calls:
41.0ms
(* (cbrt z) (cbrt z))
4.0ms
(cbrt z)
2.0ms
(cbrt z)
8.0ms
(cbrt z)

series4.3s

Counts
4 → 12
Calls
4 calls:
1.3s
(* (cbrt z) (cbrt z))
908.0ms
(cbrt z)
785.0ms
(cbrt z)
1.3s
(cbrt z)

simplify18.7s

Counts
93 → 93
Iterations
IterNodes
done5005
44247
31097
2382
1141
065

prune1.1s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes810.0ms

Accuracy

0% (0.1b remaining)

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

bsearch2.0ms

simplify3.0ms

Iterations
IterNodes
done11
111
010

end2.0ms

sample19.2s

Algorithm
intervals
Results
12.6s9160×body80valid
5.5s9159×body80nan