Details

Time bar (total: 4.6m)

sample827.0ms

Algorithm
intervals
Results
277.0ms79×body2560valid
228.0ms29×body5120valid
170.0ms125×body1280valid
79.0ms87×body640valid
24.0ms36×body320valid
15.0ms74×body80valid
7.0ms15×body160valid

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
done5000
31021
2177
151
019

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 28.9b

localize39.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ l t) (/ l t))
1.1b
(/ (* (/ l t) (/ l t)) (sin k))
1.7b
(* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k)))
27.4b
(/ (* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k))) (* (/ k t) (/ k t)))

rewrite142.0ms

Algorithm
rewrite-expression-head
Rules
844×add-cbrt-cube add-exp-log
454×cbrt-undiv div-exp
264×prod-exp cbrt-unprod
122×times-frac
101×add-sqr-sqrt
71×*-un-lft-identity add-cube-cbrt
57×associate-*l*
20×associate-*r*
13×pow1 swap-sqr
11×div-inv
10×unswap-sqr
6×associate-/l/
5×frac-times associate-*l/ associate-*r/
4×expm1-log1p-u associate-/r* associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg pow-prod-down *-commutative associate-/l*
1×pow2 pow-plus tan-quot pow-sqr pow-prod-up
Counts
4 → 423
Calls
4 calls:
13.0ms
(* (/ l t) (/ l t))
14.0ms
(/ (* (/ l t) (/ l t)) (sin k))
47.0ms
(* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k)))
48.0ms
(/ (* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k))) (* (/ k t) (/ k t)))

series789.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(* (/ l t) (/ l t))
126.0ms
(/ (* (/ l t) (/ l t)) (sin k))
286.0ms
(* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k)))
325.0ms
(/ (* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k))) (* (/ k t) (/ k t)))

simplify2.1s

Counts
435 → 435
Iterations
IterNodes
done5001
12002
0606

prune1.9s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 5.9b

localize35.0ms

Local error

Found 4 expressions with local error:

1.1b
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
8.8b
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
11.5b
(/ (/ k t) (/ l t))
11.5b
(/ (/ k t) (/ l t))

rewrite231.0ms

Algorithm
rewrite-expression-head
Rules
1018×times-frac
821×add-cbrt-cube add-exp-log
498×cbrt-undiv div-exp
468×add-sqr-sqrt
467×*-un-lft-identity add-cube-cbrt
204×prod-exp cbrt-unprod
70×associate-/l*
67×div-inv
27×associate-/r*
9×pow1
8×associate-*l/
7×associate-/r/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg associate-*r* pow-prod-down associate-/l/
2×frac-times tan-quot associate-*r/
1×associate-*l* *-commutative unswap-sqr
Counts
4 → 777
Calls
4 calls:
69.0ms
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
87.0ms
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
15.0ms
(/ (/ k t) (/ l t))
16.0ms
(/ (/ k t) (/ l t))

series535.0ms

Counts
4 → 12
Calls
4 calls:
88.0ms
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
418.0ms
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
14.0ms
(/ (/ k t) (/ l t))
15.0ms
(/ (/ k t) (/ l t))

simplify3.5s

Counts
789 → 789
Iterations
IterNodes
done5001
13314
01014

prune4.4s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.5b

localize48.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (/ 2 t))
2.0b
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
2.0b
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
3.1b
(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
36629×times-frac
14809×add-sqr-sqrt
14786×*-un-lft-identity add-cube-cbrt
11738×cbrt-prod
2121×add-exp-log
1478×div-exp
1471×div-inv
909×add-cbrt-cube
810×cbrt-undiv
489×prod-exp
307×associate-*r*
299×associate-/r/
297×cbrt-unprod
202×associate-/l*
112×1-exp
94×cbrt-div
93×tan-quot
88×associate-/r*
9×pow1
8×unswap-sqr
5×frac-times associate-*l/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down associate-*r/
2×clear-num frac-2neg associate-/l/
1×pow1/3 associate-*l* *-commutative
Counts
4 → 9993
Calls
4 calls:
1.0ms
(cbrt (/ 2 t))
44.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
41.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
345.0ms
(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))

series1.8s

Counts
4 → 12
Calls
4 calls:
274.0ms
(cbrt (/ 2 t))
494.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
492.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
563.0ms
(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))

simplify13.5s

Counts
10005 → 10005
Iterations
IterNodes
done8250
08250

prune2.1m

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 0.0b

localize64.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (/ 2 t))
1.8b
(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (cbrt (/ 2 t)) (cbrt (tan k)))) (/ (cbrt (/ 2 t)) (cbrt (tan k))))
2.0b
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
2.2b
(* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (cbrt (/ 2 t)) (cbrt (tan k))))

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
36842×times-frac
15742×add-sqr-sqrt
14537×*-un-lft-identity
14488×add-cube-cbrt
11878×cbrt-prod
4450×associate-*l*
1452×div-inv
346×add-exp-log
296×associate-/r/
203×unswap-sqr
202×associate-*r*
200×div-exp
153×add-cbrt-cube
141×cbrt-undiv
101×associate-/l*
92×cbrt-div prod-exp
91×tan-quot
72×cbrt-unprod
44×associate-/r*
14×1-exp
11×pow1
6×frac-times associate-*l/
4×expm1-log1p-u pow-prod-down associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
2×*-commutative
1×clear-num frac-2neg pow1/3 associate-/l/
Counts
4 → 9633
Calls
4 calls:
2.0ms
(cbrt (/ 2 t))
173.0ms
(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (cbrt (/ 2 t)) (cbrt (tan k)))) (/ (cbrt (/ 2 t)) (cbrt (tan k))))
20.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
446.0ms
(* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (cbrt (/ 2 t)) (cbrt (tan k))))

series1.8s

Counts
4 → 12
Calls
4 calls:
295.0ms
(cbrt (/ 2 t))
361.0ms
(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (cbrt (/ 2 t)) (cbrt (tan k)))) (/ (cbrt (/ 2 t)) (cbrt (tan k))))
505.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
600.0ms
(* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (cbrt (/ 2 t)) (cbrt (tan k))))

simplify13.7s

Counts
9645 → 9645
Iterations
IterNodes
done9973
09973

prune1.3m

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.0b

regimes315.0ms

Accuracy

0% (0.9b remaining)

Error of 0.9b against oracle of 0.1b and baseline of 0.9b

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done31
131
025

end0.0ms

sample20.3s

Algorithm
intervals
Results
5.9s2165×body2560valid
5.5s931×body5120valid
5.0s4089×body1280valid
2.2s2534×body640valid
679.0ms1996×body80valid
527.0ms1022×body320valid
202.0ms448×body160valid