Details

Time bar (total: 23.1s)

sample198.0ms

Algorithm
intervals
Results
46.0ms29×body640valid
37.0ms58×body1280valid
35.0ms303×body80nan
21.0ms173×body80valid
12.0ms12×body2560valid
4.0ms13×body320valid
1.0ms6×body160valid

simplify360.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01819
13219
25419
37519
48719
58919
done8919

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.6b

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ a (* b 3.0))
0.2b
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
0.4b
(/ (* z t) 3.0)
26.2b
(cos (- y (/ (* z t) 3.0)))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
19×add-exp-log add-cbrt-cube
9×pow1 add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×times-frac
5×prod-exp cbrt-unprod
4×cbrt-undiv div-exp associate-/r* associate-/l* add-log-exp
3×cos-diff associate-*r* pow-prod-down
2×cos-sum frac-2neg clear-num div-inv
1×distribute-rgt-in sub-neg distribute-lft-in associate-*l* *-commutative
Counts
4 → 72
Calls
4 calls:
8.0ms
(/ a (* b 3.0))
44.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
15.0ms
(/ (* z t) 3.0)
17.0ms
(cos (- y (/ (* z t) 3.0)))

series241.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(/ a (* b 3.0))
128.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
31.0ms
(/ (* z t) 3.0)
59.0ms
(cos (- y (/ (* z t) 3.0)))

simplify2.8s

Counts
84 → 84
Iterations

Useful iterations: 2 (196.0ms)

IterNodesCost
0170993
1399961
21339813
34829813
done5000813

prune435.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 17.1b

localize36.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ z (sqrt 3.0)) (/ t (sqrt 3.0)))
0.3b
(/ t (sqrt 3.0))
0.3b
(/ z (sqrt 3.0))
25.9b
(cos (- y (* (/ z (sqrt 3.0)) (/ t (sqrt 3.0)))))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
90×add-sqr-sqrt
84×times-frac
60×add-cube-cbrt *-un-lft-identity
48×sqrt-prod
22×associate-*r* associate-*l*
20×add-exp-log add-cbrt-cube
12×associate-/r*
9×unswap-sqr
6×pow1 cbrt-undiv div-exp associate-/l*
4×prod-exp cbrt-unprod div-inv add-log-exp
2×cos-sum frac-2neg clear-num
1×cos-diff frac-times sub-neg associate-*r/ pow-prod-down associate-*l/ *-commutative
Counts
4 → 161
Calls
4 calls:
55.0ms
(* (/ z (sqrt 3.0)) (/ t (sqrt 3.0)))
9.0ms
(/ t (sqrt 3.0))
9.0ms
(/ z (sqrt 3.0))
13.0ms
(cos (- y (* (/ z (sqrt 3.0)) (/ t (sqrt 3.0)))))

series537.0ms

Counts
4 → 12
Calls
4 calls:
189.0ms
(* (/ z (sqrt 3.0)) (/ t (sqrt 3.0)))
65.0ms
(/ t (sqrt 3.0))
87.0ms
(/ z (sqrt 3.0))
196.0ms
(cos (- y (* (/ z (sqrt 3.0)) (/ t (sqrt 3.0)))))

simplify1.6s

Counts
173 → 173
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01972006
14631849
214421619
done50011553

prune930.0ms

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 16.7b

localize60.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
1.0b
(* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))
26.2b
(cos (- y (* (/ (* (cbrt z) (cbrt z)) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (/ (cbrt z) (cbrt (sqrt 3.0))) (/ t (sqrt 3.0))))))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
46×cbrt-prod
40×add-sqr-sqrt
20×sqrt-prod
18×add-cube-cbrt *-un-lft-identity
11×pow1 swap-sqr
9×associate-*r* associate-*l* unswap-sqr
8×pow1/3
6×add-exp-log
4×add-cbrt-cube add-log-exp
2×cos-sum pow-prod-down pow-sqr pow-prod-up
1×pow2 cos-diff sub-neg pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 88
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
16.0ms
(* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))
12.0ms
(cos (- y (* (/ (* (cbrt z) (cbrt z)) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (/ (cbrt z) (cbrt (sqrt 3.0))) (/ t (sqrt 3.0))))))

series776.0ms

Counts
4 → 10
Calls
4 calls:
254.0ms
(cbrt z)
266.0ms
(cbrt z)
0.0ms
(* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))
256.0ms
(cos (- y (* (/ (* (cbrt z) (cbrt z)) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (/ (cbrt z) (cbrt (sqrt 3.0))) (/ t (sqrt 3.0))))))

simplify1.4s

Counts
98 → 98
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01141272
11991171
25441049
32360813
done5000810

prune776.0ms

Pruning

29 alts after pruning (28 fresh and 1 done)

Merged error: 16.6b

localize52.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt (cbrt (sqrt 3.0)))
1.0b
(cbrt (cbrt (sqrt 3.0)))
1.0b
(cbrt (cbrt (sqrt 3.0)))
26.4b
(cos (- y (* (/ (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt (sqrt 3.0))) (cbrt (cbrt (sqrt 3.0)))) (pow (cbrt (cbrt (sqrt 3.0))) 4))) (* (/ (cbrt z) (cbrt (sqrt 3.0))) (/ t (sqrt 3.0))))))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
45×cbrt-prod
13×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×sqrt-prod
4×pow1 add-exp-log add-cbrt-cube add-log-exp
3×pow1/3
2×cos-sum
1×cos-diff sub-neg
Counts
4 → 61
Calls
4 calls:
2.0ms
(cbrt (cbrt (sqrt 3.0)))
2.0ms
(cbrt (cbrt (sqrt 3.0)))
2.0ms
(cbrt (cbrt (sqrt 3.0)))
9.0ms
(cos (- y (* (/ (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt (sqrt 3.0))) (cbrt (cbrt (sqrt 3.0)))) (pow (cbrt (cbrt (sqrt 3.0))) 4))) (* (/ (cbrt z) (cbrt (sqrt 3.0))) (/ t (sqrt 3.0))))))

series238.0ms

Counts
4 → 6
Calls
4 calls:
0.0ms
(cbrt (cbrt (sqrt 3.0)))
0.0ms
(cbrt (cbrt (sqrt 3.0)))
0.0ms
(cbrt (cbrt (sqrt 3.0)))
238.0ms
(cos (- y (* (/ (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt (sqrt 3.0))) (cbrt (cbrt (sqrt 3.0)))) (pow (cbrt (cbrt (sqrt 3.0))) 4))) (* (/ (cbrt z) (cbrt (sqrt 3.0))) (/ t (sqrt 3.0))))))

simplify1.4s

Counts
67 → 67
Iterations

Useful iterations: done (1.4s)

IterNodesCost
0871214
11481185
23521021
31464890
done5000700

prune460.0ms

Pruning

30 alts after pruning (28 fresh and 2 done)

Merged error: 16.5b

regimes3.9s

Accuracy

58.7% (1.8b remaining)

Error of 17.9b against oracle of 16.1b and baseline of 20.5b

bsearch3.0ms

simplify13.0ms

Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
04387
15770
26370
done6370

end0.0ms

sample6.8s

Algorithm
intervals
Results
1.6s1543×body1280valid
1.5s9102×body80nan
1.2s5701×body80valid
842.0ms390×body2560valid
494.0ms926×body640valid
139.0ms416×body320valid
45.0ms192×body160valid