Details

Time bar (total: 4.0s)

sample34.0ms

Algorithm
intervals
Results
12.0ms355×body80valid

simplify74.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0348
1838
22208
33848
44558
55638
65868
76778
89028
913228
1013228
done13228

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.4b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* x 2.0) (* (* (* y 9.0) z) t))
0.2b
(* (* a 27.0) b)
0.5b
(* (* y 9.0) z)
5.7b
(* (* (* y 9.0) z) t)

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-exp-log add-cbrt-cube
12×pow-prod-down prod-exp cbrt-unprod
9×associate-*r*
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×add-log-exp
3×associate-*l* *-commutative
1×sub-neg flip3-- diff-log flip--
Counts
4 → 69
Calls
4 calls:
7.0ms
(- (* x 2.0) (* (* (* y 9.0) z) t))
16.0ms
(* (* a 27.0) b)
17.0ms
(* (* y 9.0) z)
53.0ms
(* (* (* y 9.0) z) t)

series134.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(- (* x 2.0) (* (* (* y 9.0) z) t))
20.0ms
(* (* a 27.0) b)
20.0ms
(* (* y 9.0) z)
27.0ms
(* (* (* y 9.0) z) t)

simplify52.0ms

Counts
81 → 81
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0348371
11755309
25001309
done5001309

prune179.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* 2.0 x) (* 9.0 (* t (* z y))))
0.2b
(* (* a 27.0) b)
0.3b
(* 9.0 (* t (* z y)))
5.3b
(* t (* z y))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-exp-log add-cbrt-cube
12×pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*l*
6×add-log-exp
5×associate-*r*
3×*-commutative
1×sub-neg flip3-- diff-log flip--
Counts
4 → 69
Calls
4 calls:
9.0ms
(- (* 2.0 x) (* 9.0 (* t (* z y))))
18.0ms
(* (* a 27.0) b)
37.0ms
(* 9.0 (* t (* z y)))
17.0ms
(* t (* z y))

series147.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(- (* 2.0 x) (* 9.0 (* t (* z y))))
22.0ms
(* (* a 27.0) b)
28.0ms
(* 9.0 (* t (* z y)))
26.0ms
(* t (* z y))

simplify46.0ms

Counts
81 → 81
Iterations

Useful iterations: 1 (9.0ms)

IterNodesCost
0320367
11386305
25001305
done5001305

prune185.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* 2.0 x) (* 9.0 (* t (* z y))))
0.2b
(* 27.0 (* a b))
0.3b
(* 9.0 (* t (* z y)))
5.3b
(* t (* z y))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-exp-log add-cbrt-cube
12×pow-prod-down prod-exp cbrt-unprod
9×associate-*l*
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×add-log-exp
3×associate-*r* *-commutative
1×sub-neg flip3-- diff-log flip--
Counts
4 → 69
Calls
4 calls:
10.0ms
(- (* 2.0 x) (* 9.0 (* t (* z y))))
17.0ms
(* 27.0 (* a b))
38.0ms
(* 9.0 (* t (* z y)))
17.0ms
(* t (* z y))

series153.0ms

Counts
4 → 12
Calls
4 calls:
73.0ms
(- (* 2.0 x) (* 9.0 (* t (* z y))))
23.0ms
(* 27.0 (* a b))
30.0ms
(* 9.0 (* t (* z y)))
26.0ms
(* t (* z y))

simplify44.0ms

Counts
81 → 81
Iterations

Useful iterations: 1 (9.0ms)

IterNodesCost
0306366
11203304
25001304
done5001304

prune204.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 27.0 (* a b))
0.2b
(* (cbrt 9.0) (* t (* z y)))
0.3b
(* (* (cbrt 9.0) (cbrt 9.0)) (* (cbrt 9.0) (* t (* z y))))
5.3b
(* t (* z y))

rewrite200.0ms

Algorithm
rewrite-expression-head
Rules
55×pow1 add-exp-log
38×add-cbrt-cube
36×pow-prod-down prod-exp cbrt-unprod
13×associate-*l*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×associate-*r* *-commutative add-log-exp
3×cbrt-prod
Counts
4 → 94
Calls
4 calls:
16.0ms
(* 27.0 (* a b))
41.0ms
(* (cbrt 9.0) (* t (* z y)))
123.0ms
(* (* (cbrt 9.0) (cbrt 9.0)) (* (cbrt 9.0) (* t (* z y))))
15.0ms
(* t (* z y))

series199.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(* 27.0 (* a b))
71.0ms
(* (cbrt 9.0) (* t (* z y)))
81.0ms
(* (* (cbrt 9.0) (cbrt 9.0)) (* (cbrt 9.0) (* t (* z y))))
26.0ms
(* t (* z y))

simplify48.0ms

Counts
106 → 106
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
0361663
11500473
25001436
done5001436

prune244.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

regimes714.0ms

Accuracy

86.4% (0.5b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 3.7b

bsearch1.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05731
15731
done5731

end0.0ms

sample1.0s

Algorithm
intervals
Results
454.0ms10954×body80valid