Details

Time bar (total: 14.6s)

sample144.0ms

Algorithm
intervals
Results
87.0ms764×body80nan
23.0ms256×body80valid

simplify942.0ms

Counts
1 → 1
Iterations
IterNodes
done2000
71553
61117
5645
4320
3122
251
121
010

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite265.0ms

Algorithm
rewrite-expression-head
Rules
44×*-un-lft-identity
40×associate--l+
38×add-sqr-sqrt
32×add-cube-cbrt
27×log-prod prod-diff
22×associate-+l+
17×add-log-exp
12×distribute-rgt-in distribute-lft-in
9×pow1
7×diff-log
6×add-cbrt-cube add-exp-log
5×sub-neg fma-def
4×expm1-log1p-u fma-neg associate-*r* insert-posit16 log1p-expm1-u distribute-lft-out distribute-lft-out--
3×associate-+r+ sum-log associate-*l* log-pow
2×flip3-- flip-- difference-of-squares
1×associate--l- +-commutative flip3-+ pow-prod-down prod-exp *-commutative associate-+l- cbrt-unprod flip-+ unswap-sqr
Counts
4 → 146
Calls
4 calls:
59.0ms
(- (- (* x (log y)) y) z)
180.0ms
(+ (- (- (* x (log y)) y) z) (log t))
8.0ms
(- (* x (log y)) y)
12.0ms
(* x (log y))

series310.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(- (- (* x (log y)) y) z)
76.0ms
(+ (- (- (* x (log y)) y) z) (log t))
106.0ms
(- (* x (log y)) y)
65.0ms
(* x (log y))

simplify797.0ms

Counts
158 → 158
Iterations
IterNodes
done2001
21429
1568
0224

prune830.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (- (fma x (- (log y)) (+ y z))) (log t))
0.1b
(fma x (- (log y)) (+ y z))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
12×*-un-lft-identity
10×fma-def
6×add-sqr-sqrt add-cube-cbrt
5×distribute-rgt-neg-in
4×pow1 distribute-lft-out add-log-exp
3×distribute-lft-neg-in associate-+r+ log-prod
2×expm1-log1p-u sum-log add-cbrt-cube add-exp-log log-pow fma-udef insert-posit16 log1p-expm1-u
1×neg-sub0 +-commutative associate-+l+ distribute-neg-in neg-mul-1 flip3-+ neg-log associate-+l- flip-+
Counts
2 → 45
Calls
2 calls:
18.0ms
(+ (- (fma x (- (log y)) (+ y z))) (log t))
1.0ms
(fma x (- (log y)) (+ y z))

series102.0ms

Counts
2 → 6
Calls
2 calls:
65.0ms
(+ (- (fma x (- (log y)) (+ y z))) (log t))
37.0ms
(fma x (- (log y)) (+ y z))

simplify636.0ms

Counts
51 → 51
Iterations
IterNodes
done2000
2535
1186
079

prune395.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize41.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)

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 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 → 85
Calls
4 calls:
7.0ms
(* (cbrt y) (cbrt y))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.3s

Counts
4 → 12
Calls
4 calls:
319.0ms
(* (cbrt y) (cbrt y))
331.0ms
(cbrt y)
285.0ms
(cbrt y)
324.0ms
(cbrt y)

simplify861.0ms

Counts
97 → 97
Iterations
IterNodes
done2004
31110
2364
1141
067

prune692.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize89.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (pow y 1/3) (cbrt y))
0.6b
(cbrt y)
0.6b
(cbrt y)
5.1b
(pow y 1/3)

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
12×cbrt-prod *-un-lft-identity add-cube-cbrt
10×add-exp-log
8×unpow-prod-down
7×associate-*l*
6×associate-*r* unswap-sqr
5×pow1 add-cbrt-cube pow1/3
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp sqr-pow
3×pow-unpow prod-exp
2×pow-to-exp unpow1/3 pow-exp cbrt-unprod
1×pow-pow pow-prod-down pow-sqr *-commutative pow-prod-up
Counts
4 → 87
Calls
4 calls:
20.0ms
(* (pow y 1/3) (cbrt y))
1.0ms
(cbrt y)
2.0ms
(cbrt y)
4.0ms
(pow y 1/3)

series1.3s

Counts
4 → 12
Calls
4 calls:
231.0ms
(* (pow y 1/3) (cbrt y))
210.0ms
(cbrt y)
553.0ms
(cbrt y)
294.0ms
(pow y 1/3)

simplify744.0ms

Counts
99 → 99
Iterations
IterNodes
done2016
31400
2574
1235
0102

prune612.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes257.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done13
113
011

end0.0ms

sample4.2s

Algorithm
intervals
Results
2.0s23781×body80nan
1.1s8028×body80valid
1.0ms1×body640valid