Details

Time bar (total: 19.8s)

sample184.0ms

Algorithm
intervals
Results
55.0ms802×body80nan
18.0ms19×body1280valid
13.0ms174×body80valid
13.0ms28×body640valid
7.0ms26×body320valid
2.0ms11×body160valid

simplify451.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
01213
12212
23812
35212
46012
57712
610512
715412
819812
922112
1023912
1124012
done24012

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.8b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
0.0b
(* z (log (- 1.0 y)))
0.3b
(* x (log y))
5.1b
(log (- 1.0 y))

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
28×*-un-lft-identity
21×log-prod
20×add-cube-cbrt
11×pow1
9×add-exp-log prod-diff add-log-exp
8×distribute-rgt-in distribute-lft-in associate-*r* add-cbrt-cube
6×associate-*l*
4×expm1-log1p-u log1p-expm1-u distribute-lft-out-- difference-of-squares
3×fma-neg log-pow
2×log-div flip3-- diff-log pow-prod-down prod-exp *-commutative flip-- cbrt-unprod unswap-sqr
1×sub-neg rem-log-exp associate--l+ sum-log
Counts
4 → 106
Calls
4 calls:
70.0ms
(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
29.0ms
(* z (log (- 1.0 y)))
16.0ms
(* x (log y))
13.0ms
(log (- 1.0 y))

series372.0ms

Counts
4 → 12
Calls
4 calls:
134.0ms
(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
119.0ms
(* z (log (- 1.0 y)))
68.0ms
(* x (log y))
51.0ms
(log (- 1.0 y))

simplify2.6s

Counts
118 → 118
Iterations

Useful iterations: 3 (1.3s)

IterNodesCost
02411599
15201423
212451242
335571137
done50001137

prune534.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
48×associate--l+
29×add-sqr-sqrt
24×distribute-rgt-in log-prod distribute-lft-in
21×add-cube-cbrt associate-+r+ *-un-lft-identity
18×prod-diff
12×associate-*r*
11×pow1 add-exp-log add-log-exp
8×add-cbrt-cube
6×sub-neg associate-+l+ associate-*l*
5×log-pow unswap-sqr
4×expm1-log1p-u unpow-prod-down associate-*r/ prod-exp log1p-expm1-u
2×flip3-- diff-log sum-log *-commutative frac-sub flip-- cbrt-unprod unpow2 sqr-pow
1×+-commutative pow-to-exp associate-+r- fma-def flip3-+ fma-neg pow-prod-down pow-exp flip-+
Counts
4 → 135
Calls
4 calls:
41.0ms
(+ (* x (log y)) (- (* z (- (log 1.0) (* 1.0 y))) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))))
26.0ms
(- (* z (- (log 1.0) (* 1.0 y))) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))))
10.0ms
(* x (log y))
25.0ms
(* z (pow y 2))

series469.0ms

Counts
4 → 12
Calls
4 calls:
210.0ms
(+ (* x (log y)) (- (* z (- (log 1.0) (* 1.0 y))) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))))
140.0ms
(- (* z (- (log 1.0) (* 1.0 y))) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))))
60.0ms
(* x (log y))
59.0ms
(* z (pow y 2))

simplify1.4s

Counts
147 → 147
Iterations

Useful iterations: done (1.3s)

IterNodesCost
02652546
16452302
217452150
done50002097

prune875.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b
(+ (* (* 2 (log (cbrt y))) x) (* (log (cbrt y)) x))
0.6b
(cbrt y)
0.6b
(cbrt y)
7.6b
(* z (pow y 2))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
9×add-exp-log add-cube-cbrt *-un-lft-identity
8×associate-*r*
6×cbrt-prod add-cbrt-cube add-log-exp
4×pow1 expm1-log1p-u unpow-prod-down log1p-expm1-u unswap-sqr
3×associate-*l* prod-exp
2×pow1/3 unpow2 sqr-pow
1×+-commutative pow-to-exp distribute-rgt-out fma-def flip3-+ pow-exp sum-log *-commutative cbrt-unprod flip-+
Counts
4 → 70
Calls
4 calls:
38.0ms
(+ (* (* 2 (log (cbrt y))) x) (* (log (cbrt y)) x))
2.0ms
(cbrt y)
2.0ms
(cbrt y)
18.0ms
(* z (pow y 2))

series687.0ms

Counts
4 → 12
Calls
4 calls:
173.0ms
(+ (* (* 2 (log (cbrt y))) x) (* (log (cbrt y)) x))
247.0ms
(cbrt y)
228.0ms
(cbrt y)
38.0ms
(* z (pow y 2))

simplify3.4s

Counts
82 → 82
Iterations

Useful iterations: 3 (1.4s)

IterNodesCost
0112707
1278573
2864489
34123431
done5000431

prune442.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (log (cbrt y)) x)
0.6b
(cbrt y)
0.6b
(cbrt y)
7.6b
(* z (pow y 2))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
11×add-exp-log add-cube-cbrt *-un-lft-identity associate-*r*
8×associate-*l* add-cbrt-cube
7×pow1
6×cbrt-prod
5×unswap-sqr
4×expm1-log1p-u unpow-prod-down prod-exp log1p-expm1-u add-log-exp
3×pow1/3
2×log-pow *-commutative cbrt-unprod unpow2 sqr-pow
1×pow-to-exp pow-prod-down pow-exp
Counts
4 → 77
Calls
4 calls:
16.0ms
(* (log (cbrt y)) x)
2.0ms
(cbrt y)
2.0ms
(cbrt y)
27.0ms
(* z (pow y 2))

series672.0ms

Counts
4 → 12
Calls
4 calls:
154.0ms
(* (log (cbrt y)) x)
222.0ms
(cbrt y)
250.0ms
(cbrt y)
46.0ms
(* z (pow y 2))

simplify1.9s

Counts
89 → 89
Iterations

Useful iterations: 3 (575.0ms)

IterNodesCost
0111572
1218533
2544465
31628457
done5001457

prune783.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

regimes208.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify9.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02938
13838
done3838

end0.0ms

sample4.4s

Algorithm
intervals
Results
1.4s24165×body80nan
362.0ms5585×body80valid
322.0ms871×body640valid
296.0ms398×body1280valid
160.0ms722×body320valid
65.0ms458×body160valid