Details

Time bar (total: 22.4s)

sample158.0ms

Algorithm
intervals
Results
51.0ms948×body80nan
18.0ms296×body80valid

simplify7.4s

Counts
1 → 1
Iterations

Useful iterations: 2 (12.0ms)

IterNodesCost
02021
13920
210918
342418
4140018
5358218
done500018

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 3 expressions with local error:

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

rewrite8.0ms

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

series437.0ms

Counts
3 → 9
Calls
3 calls:
49.0ms
(+ (fma x (log y) z) t)
331.0ms
(fma (log c) (- b 0.5) (+ a (+ (fma x (log y) z) t)))
57.0ms
(fma x (log y) z)

simplify818.0ms

Counts
47 → 47
Iterations

Useful iterations: done (817.0ms)

IterNodesCost
081541
1168519
2419469
31629455
done5000440

prune216.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (log c) (- b 0.5)) (+ a (+ (fma x (log y) z) t)))
0.0b
(+ (fma x (log y) z) t)
0.1b
(fma x (log y) z)
0.2b
(* (log c) (- b 0.5))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
36×prod-diff
35×add-sqr-sqrt *-un-lft-identity
31×add-cube-cbrt
23×associate-+l+
22×distribute-rgt-in distribute-lft-in
15×add-log-exp
7×pow1 sum-log
6×add-exp-log associate-*r/ add-cbrt-cube
5×associate-*r*
4×expm1-log1p-u sub-neg fma-def flip3-+ associate-*l* frac-add flip-+ log1p-expm1-u
3×flip3-- flip--
2×+-commutative fma-udef
1×associate-+r+ pow-prod-down prod-exp log-pow *-commutative cbrt-unprod distribute-lft-out distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 118
Calls
4 calls:
60.0ms
(+ (* (log c) (- b 0.5)) (+ a (+ (fma x (log y) z) t)))
6.0ms
(+ (fma x (log y) z) t)
0.0ms
(fma x (log y) z)
28.0ms
(* (log c) (- b 0.5))

series593.0ms

Counts
4 → 12
Calls
4 calls:
385.0ms
(+ (* (log c) (- b 0.5)) (+ a (+ (fma x (log y) z) t)))
52.0ms
(+ (fma x (log y) z) t)
54.0ms
(fma x (log y) z)
101.0ms
(* (log c) (- b 0.5))

simplify975.0ms

Counts
130 → 130
Iterations

Useful iterations: done (971.0ms)

IterNodesCost
02422387
16231956
221721774
done50021740

prune526.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (- b 0.5))
0.3b
(* (log c) (* (cbrt (- b 0.5)) (cbrt (- b 0.5))))
0.4b
(* (* (log c) (* (cbrt (- b 0.5)) (cbrt (- b 0.5)))) (cbrt (- b 0.5)))
0.7b
(* (cbrt (- b 0.5)) (cbrt (- b 0.5)))

rewrite292.0ms

Algorithm
rewrite-expression-head
Rules
80×cbrt-div
44×associate-*r/
40×flip3-- flip--
38×cbrt-prod
37×add-sqr-sqrt
36×frac-times
34×*-un-lft-identity
26×pow1
20×add-exp-log
18×associate-*l/
17×associate-*r*
16×add-cube-cbrt
13×associate-*l*
11×pow-prod-down add-cbrt-cube
10×swap-sqr prod-exp cbrt-unprod
8×distribute-lft-out--
7×pow1/3
6×difference-of-squares
5×unswap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×*-commutative
2×pow-sqr pow-prod-up
1×pow2 pow-plus log-pow
Counts
4 → 159
Calls
4 calls:
4.0ms
(cbrt (- b 0.5))
54.0ms
(* (log c) (* (cbrt (- b 0.5)) (cbrt (- b 0.5))))
184.0ms
(* (* (log c) (* (cbrt (- b 0.5)) (cbrt (- b 0.5)))) (cbrt (- b 0.5)))
41.0ms
(* (cbrt (- b 0.5)) (cbrt (- b 0.5)))

series557.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(cbrt (- b 0.5))
211.0ms
(* (log c) (* (cbrt (- b 0.5)) (cbrt (- b 0.5))))
117.0ms
(* (* (log c) (* (cbrt (- b 0.5)) (cbrt (- b 0.5)))) (cbrt (- b 0.5)))
130.0ms
(* (cbrt (- b 0.5)) (cbrt (- b 0.5)))

simplify1.3s

Counts
171 → 171
Iterations

Useful iterations: done (1.3s)

IterNodesCost
03183445
18213204
225182849
done50012665

prune737.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.7b
(* (cbrt (- b 0.5)) (cbrt (- b 0.5)))
0.7b
(* (cbrt (- b 0.5)) (cbrt (- b 0.5)))
0.8b
(cbrt (* (cbrt (- b 0.5)) (cbrt (- b 0.5))))
0.8b
(cbrt (* (cbrt (- b 0.5)) (cbrt (- b 0.5))))

rewrite123.0ms

Algorithm
rewrite-expression-head
Rules
64×cbrt-div
58×cbrt-prod
52×add-sqr-sqrt
48×*-un-lft-identity
24×flip3-- flip--
20×add-cube-cbrt swap-sqr
18×pow1
16×frac-times associate-*r* associate-*l*
14×pow1/3
12×distribute-lft-out--
8×add-exp-log associate-*r/ associate-*l/ difference-of-squares unswap-sqr
4×expm1-log1p-u pow-prod-down pow-sqr pow-prod-up add-cbrt-cube log1p-expm1-u add-log-exp
2×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 154
Calls
4 calls:
41.0ms
(* (cbrt (- b 0.5)) (cbrt (- b 0.5)))
43.0ms
(* (cbrt (- b 0.5)) (cbrt (- b 0.5)))
15.0ms
(cbrt (* (cbrt (- b 0.5)) (cbrt (- b 0.5))))
15.0ms
(cbrt (* (cbrt (- b 0.5)) (cbrt (- b 0.5))))

series524.0ms

Counts
4 → 12
Calls
4 calls:
117.0ms
(* (cbrt (- b 0.5)) (cbrt (- b 0.5)))
119.0ms
(* (cbrt (- b 0.5)) (cbrt (- b 0.5)))
142.0ms
(cbrt (* (cbrt (- b 0.5)) (cbrt (- b 0.5))))
146.0ms
(cbrt (* (cbrt (- b 0.5)) (cbrt (- b 0.5))))

simplify1.4s

Counts
166 → 166
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01922778
14082518
210662408
328822216
done50002202

prune995.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.0b

regimes674.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01819
12219
done2219

end0.0ms

sample4.5s

Algorithm
intervals
Results
1.4s27704×body80nan
568.0ms9220×body80valid
0.0ms1×body640valid
0.0ms1×body320valid