Details

Time bar (total: 23.6s)

sample128.0ms

Algorithm
intervals
Results
31.0ms318×body80nan
27.0ms284×body80valid

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
done5000
54493
41075
3279
288
130
015

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
6×*-un-lft-identity
5×add-log-exp
4×add-sqr-sqrt add-cube-cbrt
3×expm1-log1p-u pow1 fma-def add-cbrt-cube add-exp-log fma-udef log1p-expm1-u
1×+-commutative associate-+l+ sum-log flip3-+ flip-+ distribute-lft-out
Counts
3 → 38
Calls
3 calls:
0.0ms
(fma b (- a 0.5) x)
8.0ms
(+ (fma b (- a 0.5) x) y)
1.0ms
(fma (- 1 (log t)) z (+ (fma b (- a 0.5) x) y))

series424.0ms

Counts
3 → 9
Calls
3 calls:
38.0ms
(fma b (- a 0.5) x)
57.0ms
(+ (fma b (- a 0.5) x) y)
329.0ms
(fma (- 1 (log t)) z (+ (fma b (- a 0.5) x) y))

simplify2.0s

Counts
47 → 47
Iterations
IterNodes
done5001
32441
2371
1145
067

prune441.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite869.0ms

Algorithm
rewrite-expression-head
Rules
33×*-un-lft-identity
27×add-log-exp
22×add-sqr-sqrt
16×add-cube-cbrt
12×log-prod
10×sum-log prod-diff
9×pow1 distribute-lft-out
8×associate-+l+ add-cbrt-cube associate-*l* add-exp-log
7×associate-*r*
6×distribute-rgt-in distribute-lft-in flip3-- diff-log associate-*l/ flip-- associate--r+
5×fma-neg
4×expm1-log1p-u frac-add log1p-expm1-u
3×fma-def
2×sub-neg pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod unswap-sqr
1×+-commutative flip3-+ log-pow associate-+l- flip-+ distribute-lft-out-- difference-of-squares
Counts
4 → 116
Calls
4 calls:
31.0ms
(* (- a 0.5) b)
653.0ms
(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
171.0ms
(- (+ (+ x y) z) (* z (log t)))
7.0ms
(* z (log t))

series390.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(* (- a 0.5) b)
199.0ms
(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
62.0ms
(- (+ (+ x y) z) (* z (log t)))
70.0ms
(* z (log t))

simplify2.7s

Counts
128 → 128
Iterations
IterNodes
done5000
22744
1615
0222

prune961.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

0.3b
(+ (+ (* z (log (cbrt t))) (* z (log (cbrt t)))) (* z (log (cbrt t))))
0.5b
(cbrt t)
0.5b
(cbrt t)
0.5b
(cbrt t)

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-prod
12×add-sqr-sqrt associate-+r+ log-prod *-un-lft-identity add-cube-cbrt
9×add-log-exp
6×distribute-rgt-in fma-def distribute-lft-in
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u
3×sum-log pow1/3 distribute-lft-out
2×count-2
1×+-commutative associate-+l+ distribute-lft1-in flip3-+ distribute-rgt-out flip-+
Counts
4 → 74
Calls
4 calls:
37.0ms
(+ (+ (* z (log (cbrt t))) (* z (log (cbrt t)))) (* z (log (cbrt t))))
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)

series963.0ms

Counts
4 → 12
Calls
4 calls:
152.0ms
(+ (+ (* z (log (cbrt t))) (* z (log (cbrt t)))) (* z (log (cbrt t))))
294.0ms
(cbrt t)
276.0ms
(cbrt t)
240.0ms
(cbrt t)

simplify2.4s

Counts
86 → 86
Iterations
IterNodes
done5001
21429
1268
098

prune743.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize65.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt t)
0.5b
(cbrt t)
0.6b
(cbrt (sqrt t))
0.6b
(cbrt (sqrt t))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-prod
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×sqrt-prod
4×expm1-log1p-u pow1 add-cbrt-cube pow1/3 add-exp-log log1p-expm1-u add-log-exp
Counts
4 → 58
Calls
4 calls:
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt (sqrt t))
1.0ms
(cbrt (sqrt t))

series828.0ms

Counts
4 → 12
Calls
4 calls:
216.0ms
(cbrt t)
235.0ms
(cbrt t)
206.0ms
(cbrt (sqrt t))
171.0ms
(cbrt (sqrt t))

simplify2.3s

Counts
70 → 70
Iterations
IterNodes
done5001
32257
2374
1115
059

prune648.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes1.2s

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done17
117
014

end0.0ms

sample3.4s

Algorithm
intervals
Results
858.0ms9181×body80valid
655.0ms9263×body80nan
1.0ms3×body1280valid
0.0ms1×body320valid
0.0ms1×body640valid