Details

Time bar (total: 31.6s)

sample152.0ms

Algorithm
intervals
Results
81.0ms481×body80valid

simplify4.3s

Counts
1 → 1
Iterations

Useful iterations: done (4.3s)

IterNodesCost
02831
16729
222127
379527
4364327
done500026

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.6b

localize36.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* x 18.0) y)
0.7b
(* (* j 27.0) k)
3.9b
(* (* (* (* x 18.0) y) z) t)
5.1b
(* (* (* x 18.0) y) z)

rewrite491.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u associate-*l* *-commutative log1p-expm1-u add-log-exp
Counts
4 → 89
Calls
4 calls:
35.0ms
(* (* x 18.0) y)
21.0ms
(* (* j 27.0) k)
348.0ms
(* (* (* (* x 18.0) y) z) t)
79.0ms
(* (* (* x 18.0) y) z)

series181.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(* (* x 18.0) y)
35.0ms
(* (* j 27.0) k)
65.0ms
(* (* (* (* x 18.0) y) z) t)
46.0ms
(* (* (* x 18.0) y) z)

simplify3.4s

Counts
101 → 101
Iterations

Useful iterations: done (3.4s)

IterNodesCost
0145974
1378944
23123776
done5001772

prune728.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 1.1b

localize51.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* x 18.0) y)
0.5b
(* j (* 27.0 k))
3.9b
(* (* (* (* x 18.0) y) z) t)
5.1b
(* (* (* x 18.0) y) z)

rewrite360.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×associate-*l*
4×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
Counts
4 → 89
Calls
4 calls:
18.0ms
(* (* x 18.0) y)
18.0ms
(* j (* 27.0 k))
253.0ms
(* (* (* (* x 18.0) y) z) t)
67.0ms
(* (* (* x 18.0) y) z)

series153.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* (* x 18.0) y)
32.0ms
(* j (* 27.0 k))
58.0ms
(* (* (* (* x 18.0) y) z) t)
31.0ms
(* (* (* x 18.0) y) z)

simplify3.1s

Counts
101 → 101
Iterations

Useful iterations: done (3.1s)

IterNodesCost
0143971
1366943
22815769
done5001767

prune677.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 1.1b

localize51.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 27.0 (* k j))
0.5b
(* (* x 18.0) y)
3.9b
(* (* (* (* x 18.0) y) z) t)
5.1b
(* (* (* x 18.0) y) z)

rewrite400.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×associate-*l*
4×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
Counts
4 → 89
Calls
4 calls:
19.0ms
(* 27.0 (* k j))
37.0ms
(* (* x 18.0) y)
264.0ms
(* (* (* (* x 18.0) y) z) t)
76.0ms
(* (* (* x 18.0) y) z)

series130.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(* 27.0 (* k j))
24.0ms
(* (* x 18.0) y)
52.0ms
(* (* (* (* x 18.0) y) z) t)
31.0ms
(* (* (* x 18.0) y) z)

simplify3.4s

Counts
101 → 101
Iterations

Useful iterations: done (3.4s)

IterNodesCost
0141971
1363943
22805745
done5001737

prune685.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 1.1b

localize54.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.9b
(* (* (* (cbrt z) (cbrt z)) (* 18.0 (* x y))) (cbrt z))
3.9b
(* (* (* (* (cbrt z) (cbrt z)) (* 18.0 (* x y))) (cbrt z)) t)
4.4b
(* (* (cbrt z) (cbrt z)) (* 18.0 (* x y)))

rewrite1.5s

Algorithm
rewrite-expression-head
Rules
92×pow1 add-exp-log
67×pow-prod-down prod-exp cbrt-unprod
60×add-cbrt-cube
10×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×cbrt-prod
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*l* *-commutative
1×pow1/3
Counts
4 → 119
Calls
4 calls:
1.0ms
(cbrt z)
263.0ms
(* (* (* (cbrt z) (cbrt z)) (* 18.0 (* x y))) (cbrt z))
1.2s
(* (* (* (* (cbrt z) (cbrt z)) (* 18.0 (* x y))) (cbrt z)) t)
112.0ms
(* (* (cbrt z) (cbrt z)) (* 18.0 (* x y)))

series747.0ms

Counts
4 → 12
Calls
4 calls:
282.0ms
(cbrt z)
67.0ms
(* (* (* (cbrt z) (cbrt z)) (* 18.0 (* x y))) (cbrt z))
131.0ms
(* (* (* (* (cbrt z) (cbrt z)) (* 18.0 (* x y))) (cbrt z)) t)
267.0ms
(* (* (cbrt z) (cbrt z)) (* 18.0 (* x y)))

simplify3.1s

Counts
131 → 131
Iterations

Useful iterations: done (3.1s)

IterNodesCost
01642201
14942121
231811357
done50011122

prune662.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 1.1b

regimes1.5s

Accuracy

37.2% (3.2b remaining)

Error of 3.9b against oracle of 0.7b and baseline of 5.8b

bsearch212.0ms

Steps
ItersRangePoint
4
1.0831526595779637e-25
2.030564207232714e-25
1.2311857138990182e-25
6
-1.702368960209579e-108
-1.5633722365396782e-109
-1.6788810924362764e-108

simplify12.0ms

Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
03986
15561
done5561

end0.0ms

sample5.4s

Algorithm
intervals
Results
3.5s16191×body80valid