Details

Time bar (total: 15.7s)

sample77.0ms

Algorithm
intervals
Results
35.0ms368×body80valid

simplify174.0ms

Counts
1 → 1
Iterations
IterNodes
done195
5195
4184
3133
265
126
013

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (* y z))
0.0b
(+ (+ x (* y z)) (* t a))
4.8b
(* (* a z) b)

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
8×pow1 add-cbrt-cube add-exp-log
6×add-sqr-sqrt fma-def *-un-lft-identity add-cube-cbrt
4×sum-log
3×expm1-log1p-u associate-*r* pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u
2×+-commutative flip3-+ flip-+
1×associate-+l+ associate-*l* *-commutative
Counts
3 → 57
Calls
3 calls:
12.0ms
(+ x (* y z))
44.0ms
(+ (+ x (* y z)) (* t a))
18.0ms
(* (* a z) b)

series145.0ms

Counts
3 → 9
Calls
3 calls:
30.0ms
(+ x (* y z))
75.0ms
(+ (+ x (* y z)) (* t a))
39.0ms
(* (* a z) b)

simplify1.3s

Counts
66 → 66
Iterations
IterNodes
done5001
21164
1284
0102

prune437.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize60.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt b)
0.6b
(cbrt b)
1.3b
(* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
3.6b
(* (* a z) (* (cbrt b) (cbrt b)))

rewrite238.0ms

Algorithm
rewrite-expression-head
Rules
34×pow1 add-exp-log
21×add-cbrt-cube pow-prod-down prod-exp cbrt-unprod
9×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×associate-*r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×pow1/3 associate-*l* *-commutative
Counts
4 → 86
Calls
4 calls:
2.0ms
(cbrt b)
2.0ms
(cbrt b)
192.0ms
(* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
38.0ms
(* (* a z) (* (cbrt b) (cbrt b)))

series930.0ms

Counts
4 → 12
Calls
4 calls:
311.0ms
(cbrt b)
331.0ms
(cbrt b)
82.0ms
(* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
206.0ms
(* (* a z) (* (cbrt b) (cbrt b)))

simplify3.9s

Counts
98 → 98
Iterations
IterNodes
done5008
34829
21043
1279
0105

prune589.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt b)
1.3b
(* (* (* (* a z) (cbrt b)) (cbrt b)) (cbrt b))
1.8b
(* (* (* a z) (cbrt b)) (cbrt b))
2.0b
(* (* a z) (cbrt b))

rewrite471.0ms

Algorithm
rewrite-expression-head
Rules
32×pow1 add-exp-log
19×pow-prod-down prod-exp cbrt-unprod
18×associate-*r*
16×add-cbrt-cube
12×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*l* *-commutative
1×pow1/3
Counts
4 → 95
Calls
4 calls:
2.0ms
(cbrt b)
333.0ms
(* (* (* (* a z) (cbrt b)) (cbrt b)) (cbrt b))
95.0ms
(* (* (* a z) (cbrt b)) (cbrt b))
37.0ms
(* (* a z) (cbrt b))

series700.0ms

Counts
4 → 12
Calls
4 calls:
292.0ms
(cbrt b)
84.0ms
(* (* (* (* a z) (cbrt b)) (cbrt b)) (cbrt b))
178.0ms
(* (* (* a z) (cbrt b)) (cbrt b))
146.0ms
(* (* a z) (cbrt b))

simplify1.8s

Counts
107 → 107
Iterations
IterNodes
done5000
21253
1337
0126

prune614.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize20.0ms

Local error

Found 1 expressions with local error:

2.7b
(fma z (fma a b y) x)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef insert-posit16 log1p-expm1-u add-log-exp
Counts
1 → 11
Calls
1 calls:
0.0ms
(fma z (fma a b y) x)

series130.0ms

Counts
1 → 3
Calls
1 calls:
129.0ms
(fma z (fma a b y) x)

simplify1.4s

Counts
14 → 14
Iterations
IterNodes
done5004
41440
3296
276
138
023

prune124.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes487.0ms

Accuracy

87.6% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 1.9b

bsearch122.0ms

Steps
ItersRangePoint
9
1.4620141897125842e+71
2.3802516379680133e+76
2.9524094529077537e+72
7
-8.387157242043076e+38
-5.648010817517229e+36
-6.357410001287211e+38

simplify7.0ms

Iterations
IterNodes
done32
132
022

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.4s11741×body80valid