Details

Time bar (total: 37.4s)

sample133.0ms

Algorithm
intervals
Results
96.0ms480×body80valid

simplify1.2s

Counts
1 → 1
Iterations
IterNodes
42295
3723
2217
167
028

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.8b

localize57.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 4.0) i)
0.4b
(* (* x 18.0) y)
4.0b
(* (* (* x 18.0) y) z)
7.2b
(* (* (* (* x 18.0) y) z) t)

rewrite285.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-cbrt-cube add-exp-log
22×pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u associate-*l* *-commutative insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 93
Calls
4 calls:
21.0ms
(* (* x 4.0) i)
22.0ms
(* (* x 18.0) y)
51.0ms
(* (* (* x 18.0) y) z)
190.0ms
(* (* (* (* x 18.0) y) z) t)

series164.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(* (* x 4.0) i)
22.0ms
(* (* x 18.0) y)
48.0ms
(* (* (* x 18.0) y) z)
72.0ms
(* (* (* (* x 18.0) y) z) t)

simplify5.6s

Counts
105 → 105
Iterations
IterNodes
38375
21487
1373
0145

prune2.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 1.0b

localize56.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* j 27.0) k)
0.2b
(* (* x 4.0) i)
0.4b
(* (* x 18.0) y)
7.9b
(* (* (* x 18.0) y) (* z t))

rewrite165.0ms

Algorithm
rewrite-expression-head
Rules
40×pow1 add-cbrt-cube add-exp-log
24×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u associate-*l* *-commutative insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 94
Calls
4 calls:
28.0ms
(* (* j 27.0) k)
19.0ms
(* (* x 4.0) i)
17.0ms
(* (* x 18.0) y)
98.0ms
(* (* (* x 18.0) y) (* z t))

series197.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(* (* j 27.0) k)
41.0ms
(* (* x 4.0) i)
42.0ms
(* (* x 18.0) y)
71.0ms
(* (* (* x 18.0) y) (* z t))

simplify4.9s

Counts
106 → 106
Iterations
IterNodes
37870
21673
1433
0167

prune2.4s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.2b

localize64.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 4.0) i)
0.3b
(* 27.0 (* j k))
0.4b
(* (* x 18.0) y)
7.9b
(* (* (* x 18.0) y) (* z t))

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
40×pow1 add-cbrt-cube add-exp-log
24×pow-prod-down prod-exp cbrt-unprod
8×associate-*r*
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×associate-*l*
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 94
Calls
4 calls:
17.0ms
(* (* x 4.0) i)
14.0ms
(* 27.0 (* j k))
26.0ms
(* (* x 18.0) y)
68.0ms
(* (* (* x 18.0) y) (* z t))

series171.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* (* x 4.0) i)
33.0ms
(* 27.0 (* j k))
44.0ms
(* (* x 18.0) y)
70.0ms
(* (* (* x 18.0) y) (* z t))

simplify3.7s

Counts
106 → 106
Iterations
IterNodes
37873
21596
1417
0163

prune2.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.2b

localize68.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* j 27.0) k)
0.2b
(* (* x 4.0) i)
0.2b
(* 18.0 (* x y))
7.9b
(* (* 18.0 (* x y)) (* z t))

rewrite130.0ms

Algorithm
rewrite-expression-head
Rules
40×pow1 add-cbrt-cube add-exp-log
24×pow-prod-down prod-exp cbrt-unprod
8×associate-*r*
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×associate-*l*
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 94
Calls
4 calls:
15.0ms
(* (* j 27.0) k)
19.0ms
(* (* x 4.0) i)
21.0ms
(* 18.0 (* x y))
74.0ms
(* (* 18.0 (* x y)) (* z t))

series157.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* (* j 27.0) k)
27.0ms
(* (* x 4.0) i)
27.0ms
(* 18.0 (* x y))
78.0ms
(* (* 18.0 (* x y)) (* z t))

simplify3.0s

Counts
106 → 106
Iterations
IterNodes
37513
21592
1424
0163

prune2.0s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

regimes2.3s

Accuracy

91% (0.5b remaining)

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

bsearch3.0ms

simplify14.0ms

Iterations
IterNodes
260
160
041

end0.0ms

sample6.0s

Algorithm
intervals
Results
4.7s16087×body80valid